Int -> Int) . coerce)
_Wrapped += 1, если линзы интересны
лучше для типа задерайвить Enum и просто modify succ писать
вам не нужно coerce делать внутри, вы функцию Int -> Int превратить в A -> A одним коерсом или весь modify
Обсуждают сегодня