Closed RyanGlScott closed 1 year ago
These are necessary to deal with Bifunctor, Bifoldable, and Bitraversable gaining quantified superclasses in upcoming versions of GHC.
Bifunctor
Bifoldable
Bitraversable
This is a partial backport of https://github.com/ekmett/bifunctors/commit/36768bc565092b4052cf6b3bd5e1b12ffeb135bd.
This also backports the commit Define missing Functor/Foldable/Traversable instances in the test suite from #108, which will be necessary to make the test suite typecheck after the aforementioned quantified superclasses are added.
Define missing Functor/Foldable/Traversable instances in the test suite
These are necessary to deal with
Bifunctor
,Bifoldable
, andBitraversable
gaining quantified superclasses in upcoming versions of GHC.This is a partial backport of https://github.com/ekmett/bifunctors/commit/36768bc565092b4052cf6b3bd5e1b12ffeb135bd.
This also backports the commit
Define missing Functor/Foldable/Traversable instances in the test suite
from #108, which will be necessary to make the test suite typecheck after the aforementioned quantified superclasses are added.