\R{fld}->fld с RecordFieldPuns?
Похоже на то.
думаю, что да
или \r -> r.fld / .fld
уже давно можно
можно чуть проще: (\Rec{..} -> fld)
речь про экстеншон который это запрещает как раз
это неудобный способ для полей с удобными именами
Обсуждают сегодня