[Haskell-cafe] Linguistic hair-splitting

Jochem Berndsen jochem at functor.nl
Wed Jan 27 15:17:29 EST 2010

Luke Palmer wrote:
> On Wed, Jan 27, 2010 at 11:39 AM, Jochem Berndsen <jochem at 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 Berndsen | jochem at functor.nl

More information about the Haskell-Cafe mailing list