Making Codensity a separate library?

ekmett / kan-extensions

Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor

Other

78 stars 33 forks source link

Making Codensity a separate library? #62

Open Atry opened 4 years ago

Atry commented 4 years ago

I am trying to use only Codensity in a project. Unfortunately, kan-extensions introduced many other dependencies. I wonder if we can split Codensity into a small library and let kan-extensions depend on it.