Template:Haskell/Monads

Prologue: IO, an applicative functor Understanding monads MaybeList notation IOState Alternative and MonadPlus Monad transformers