Definition of strong monads