sig   type 'a m   val bind :     'BatInterfaces.Monad.m ->     ('-> 'BatInterfaces.Monad.m) -> 'BatInterfaces.Monad.m   val return : '-> 'BatInterfaces.Monad.m end