Show(1,2)?
deriving-compat точно умеет eq, show и подобное
И там в описании про Data.Bifunctor.TH, великолепно!
FWIW тут https://hackage.haskell.org/package/generic-functor-0.2.0.0/docs/Generic-Functor.html#t:GenericBifunctor есть дерайвилка Bifunctor и Bifoldable без TH, через генерики, на черной магии инкохерента. (bitraverse тоже есть, но Bitraversable не дерайвится via из-за ролей)
Обсуждают сегодня