взять первое поле любого конструктора? Что-то типа ((A 5) ^. _1) == 5
С generic-lens прям так и будет, > data C = A Int | B Int deriving stock Generic > A 5 ^. the @1 5 > B 5 ^. the @1 5
Обсуждают сегодня