Hi Alvaro,

1. null . toList :: Foldable t => t a -> Bool
2. mappend, mplus, <|>  are supposed to drop arguments that are mempty, mzero, empty respectively. There's no requirement to prefer the first argument, but that's what the MonadPlus Maybe instance does at least.

--
Adam