Parameter Applicative.1-T

type t