algebra for a monad