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

Modernize some things #16

Closed treeowl closed 9 years ago

treeowl commented 9 years ago
  1. Weaken constraint of lowerCodensity from Monad f => to Applicative f.
  2. Weaken constraint on MonadPlus instance from MonadPlus v to Alternative v.
  3. Inline >>= in the definition of <*> and reduce by hand.