Talk:Functor-Applicative-Monad Proposal
Revision as of 11:47, 14 December 2010 by VivianMcPhail (talk | contribs) (New page: === Fail === <hask>fail</hask> is useful for the error monad, <hask>Either String a</hask>. === Pointed === If <hask>return</hask> is the only method of the <hask>Pointed</hask> class t...)
Fail
fail is useful for the error monad, Either String a.
Pointed
If return is the only method of the Pointed class then Pointed should be included in the hierarchy. Better to be exactly mathematically correct once and for all.