On Thu, Jul 9, 2009 at 3:42 PM, Edward Kmett <ekmett@gmail.com> wrote:
Hrmm. This should probably be made consistent with the MonadPlus instance for IO, so
 
> empty = ioError (userError "mzero")

I agree. Of course, that was only a first attempt :)
 
Cristiano