Skip to content

Elaborate on the quantified superclass of Bifunctor

Tobias Haslop requested to merge tobias/ghc:bifunctor-superclass-doc into master

Elaborate on the quantified superclass of Bifunctor

This was requested in comment 1597271700 for when Traversable becomes a superclass of Bitraversable, but similarly applies to Functor/Bifunctor, which already are in a superclass relationship.

Merge request reports