Современная реализация haskell бифункторов общего назначения
Я ищу способ получить fmapFirst а также fmapSecond для бифункторов автоматически. Я бы предпочел способ сделать это, используя новый Generic введите класс или используя Data.Dataи без шаблона Haskell.
(Обратите внимание, что я уже знаю, что https://hackage.haskell.org/package/genifunctors-0.2.2.0/docs/Data-Generics-Genifunctors.html поддерживает это с использованием Template Haskell, я хотел бы знать, может ли Template Haskell здесь следует избегать)