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 at gmail.com