взять первое поле любого конструктора? Что-то типа ((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
Обсуждают сегодня