Parameter Applicative.T

type t