[Haskell-cafe] Re: ANN: First Monad Tutorial of the Season

[Ben Franksen]

Hans van Thiel wrote:
> so 'The Greenhorn's Guide to becoming a Monad Cowboy' is on
> http://www.muitovar.com/monad/moncow.xhtml

Forgot to say: nicely written!

Some more comments:

You can declare a fixity (infixr) for flop instead of using parentheses
(yes, this is allowed; see 'elem' in the Prelude). Would make the code more
readable.

"(Recall that a type definition is just like a data definition, but with no
choice operator (|).)" First, you mean to say 'newtype', not 'type' (as in
the code). Second, a newtype may also contain only one data element (i.e.
one type expression after the constructor), not many, as in a data type
definition. Third, newtype is unlifted.

Cheers
Ben