[Haskell-cafe] Monad explanation

[Jonathan Cast]

On Wed, 2009-02-04 at 23:55 +0200, Tymur Porkuian wrote:
> > Huh?  You can't actually over-ride function application --- Haskell's
> > built-in application always does exactly the same thing, at every type.

> It's a metaphor.

Oh, right.  That one word that means `inaccurate way of putting things'!
Invoking it solves everything!  I maintain that my claims were entirely
accurate.  I maintain your claims are in-accurate and confusing.

> In every case container has its own method of
> applying functions to its contents - e.g. instead of "f x" we write "x
> fmap f".

(NB. Typically only one of these will type-check; you know that, right?)

jcc