Revision as of 11:47, 14 December 2010 by VivianMcPhail (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 is useful for the error monad,
Either String a.
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.