Re: Structure of monads in an abstract form?

[Fergus Henderson]

On 03-Jul-1998, Francois-Nicola Demers <[EMAIL PROTECTED]> wrote:
> Does anyone know monads that could not been express as an
> abstraction?

I thought the whole idea behind lambda calculus was that *everything*
could be expressed as an abstraction (that is, as a lambda expression).

Of course, in practice you don't want to do that -- for efficiency,
we have special ways of representing integers, etc.

-- 
Fergus Henderson <[EMAIL PROTECTED]>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger [EMAIL PROTECTED]        |     -- the last words of T. S. Garp.