Parameter From_monad_plus.T

type t