Parameter Monad.E

type t