# 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...)

### 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.