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