haskell - Why is there not a funtion `quit = fail ""` for MaybeT? -
looking @ source code of fail
in maybet
instance of monad
:
instance (monad m) => monad (maybet m) fail _ = maybet (return nothing)
it's clear argument of fail
not used. why isn't there cleaner function quit :: maybet m ()
saves typing fail ""
everytime? or missing something?
that mzero
is maybet
's monadplus
instance (except type more general 1 gave: maybet
instance, have mzero :: monad m => maybet m a
).
Comments
Post a Comment