Talk:Functor-Applicative-Monad Proposal

From HaskellWiki
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...)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

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.