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

Add 'freeW' function, inspired by MonadFree #47

Open paf31 opened 6 years ago

paf31 commented 6 years ago

For #46

paf31 commented 6 years ago

I just noticed you tend to define these MTL instances as "pass-through" instances here. If you'd prefer, I can replace this with something in the style of askW, traceW and so on.

paf31 commented 6 years ago

Ok, I've changed things to be consistent with other functions in this module.