Hi, Am Montag, den 18.12.2006, 17:42 +0100 schrieb Tomasz Zielonka: > On Mon, Dec 18, 2006 at 09:29:24AM +0000, Joachim Breitner wrote: > > dons mentions in his blog post that Data.Map???s lookup is generalized > > over the Monads, whereas Prelude.maybe isn???t. Are there good reasons not > > to do that to Prelude.maybe as well? > > I can't see how such a generalization could look like, especially since > "maybe" can be used with arbitrary monad: > maybe (fail "Nothing") return
Well, that’s a possible implementation of a maybeToM. The question is: Is it useful enough for a name on it’s own? Greetings, Joachim -- Joachim "nomeata" Breitner mail: [EMAIL PROTECTED] | ICQ# 74513189 | GPG-Key: 4743206C JID: [EMAIL PROTECTED] | http://www.joachim-breitner.de/ Debian Developer: [EMAIL PROTECTED] _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe