MonadPlus: Monads that can also act as Monoids
Lists are MonadPlus (monoids as well as monads)
MonadPlus and Guards in List Comprehensions