30 Jun
2007
30 Jun
'07
6:17 a.m.
Thomas Schilling writes:
It's most consistent with the existing functions. Also, most suggested more general implementations can be built atop of that one.
Indeed, one could always write: embed :: Monad m => Maybe a -> m a embed Nothing = fail "Nothing" embed (Just x) = return x -- -David House, dmhouse@gmail.com