Luke Palmer wrote: > On Wed, Jan 27, 2010 at 11:39 AM, Jochem Berndsen <joc...@functor.nl> wrote: >>> Now, here's the question: Is is correct to say that [3, 5, 8] is a >>> monad? >> In what sense would this be a monad? I don't quite get your question. > > I think the question is this: if m is a monad, then what do you call > a thing of type m Int, or m Whatever.
Ah yes, I see. It's probably the most common to call this a "monadic value" or "monadic action". As Daniel pointed out, the type constructor itself is called a "monad" (e.g., Maybe). Jochem -- Jochem Berndsen | joc...@functor.nl _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe