Algebra for a monad