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
.