24 Mar
2009
24 Mar
'09
9:22 p.m.
On 2009 Mar 24, at 20:36, Alexander Dunlap wrote:
I'm pretty sure all monads are functors.
All monads are functors, but IIRC not all Monads are Functors. But Monad includes a liftM which is the same as Functor's fmap (usually? something tickling me about possibly the list Monad?) so in fact you *could* synthesize a Functor from atop a Monad that isn't already a Functor. -- brandon s. allbery [solaris,freebsd,perl,pugs,haskell] allbery@kf8nh.com system administrator [openafs,heimdal,too many hats] allbery@ece.cmu.edu electrical and computer engineering, carnegie mellon university KF8NH