<div dir="ltr"><div class="gmail_extra">Hi Alvaro,<br><br>1. null . toList :: Foldable t => t a -> Bool<br>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.<br>
<br>--<br>Adam<br></div></div>