Personal tools

Talk:Functor-Applicative-Monad Proposal

From HaskellWiki

Revision as of 11:47, 14 December 2010 by VivianMcPhail (Talk | contribs)

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

1 Fail

fail
is useful for the error monad,
Either String a
.

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