Можно ли получить проходимый экземпляр с помощью другого конструктора типов?

#haskell #deriving #derivingvia Вопрос: Предположим , у нас есть какой-то класс Foo , экземпляр Foo f которого дает нам все необходимое для реализации Functor f , Foldable f и Traversable…

Продолжить чтениеМожно ли получить проходимый экземпляр с помощью другого конструктора типов?