Parameter Contravariant.1-T

type t