parametrised combinators over MonadBase