Parameter Lift.1-X

type 'a t