Parameter Semigroup.T

type t