A type constructor M that builds up a monadic type M T

Monads achieve this by providing their own data type (a particular type for each type of monad), which represents a specific form of computation