I came up with a terrible Haskell pun that I had to share with this list: Haskell provides special syntactic support for monads in terms of the "do notation". There is a straightforward translation between this notation and the core language, which constitutes its "do-notational semantics", as it were. Sorry, Mike