Parameter Invariant.T

type t