Build fails with kan-extensions 3.5 and up
Opened this issue · 0 comments
russetkoala commented
In kan-extensions 3.5, the module Data.Functor.Yoneda.Contravariant was removed, but free-operational 0.3.0.0 imports this and will accept kan-extensions >= 3.1. Data.Functor.Yoneda.Reduction in 3.5 upwards has apparently identical exports; substituting it in allows free-operational to build successfully.