Algebraic semantics and monad theory