Modules over Monads and Initial Semantics