[<<][compsci][>>][..]
Sat Apr 7 18:26:18 CEST 2012

Applicative and Functor in terms of Monad

A pain in the ass, but can it be done automatically?

   -- If we have Monad M then:

   instance Functor M where
     fmap = liftM

   instance Applicative M where
     pure = return
     (<*>) = ap



[Reply][About]
[<<][compsci][>>][..]