Haskell State monad and monadic guard...

MonadPlus definition for Haskell IO...

Using Logic monad to backtrack upon exception thrown with ExceptT...

Confused by the meaning of the 'Alternative' type class and its relationship to other type c...