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.