Trifunctors are, as the name suggests, functors in the last three arguments. As
well as Trifunctor, the package also contains Trifoldable and
Tritraversable classes and a few concrete types which might be useful e.g.
with DerivingVia.
Trifunctors are, as the name suggests, functors in the last three arguments. As
well as Trifunctor, the package also contains Trifoldable and
Tritraversable classes and a few concrete types which might be useful e.g.
with DerivingVia.