search

ekmett / kan-extensions

Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor
Other
78 stars 33 forks source link

Add Eq1 etc instances? #34

Closed phadej closed 6 years ago

phadej commented 7 years ago

And change (Functor f, Eq (f a)) => Eq (Coyoneda f a) to

Eq1 f => Eq1 (Coyoneda f)

?

Would that need a major bump (following up the free 4 -> 5)?