Removing MonadFail from Monad

Nils Anders Danielsson nad at cse.gu.se
Tue Dec 17 16:09:08 UTC 2013


On 2013-12-16 23:26, David Luposchainsky wrote:
> -- Explicitly irrefutable pattern: do not add MonadFail constraint
> do ~pat <- computation     >>>     let f pat = more
>    more                    >>>     in  computation >>= f

Why not "f ~pat = more"?

-- 
/NAD


More information about the Libraries mailing list