search

ekmett / kan-extensions

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

Fails to compile with GHC 7.0.4 #13

Closed hvr closed 9 years ago

hvr commented 9 years ago

https://ghc.haskell.org/~hvr/buildreports/kan-extensions.html

 src/Data/Functor/Kan/Rift.hs:108:10:
     Illegal equational constraint g ~ h
     (Use -XTypeFamilies to permit this)
     In the context: (Functor g, g ~ h)
     While checking the context of an instance declaration
     In the instance declaration for `Applicative (Rift g h)'