Parameter Lift.T

type 'a t