Parameter Lift.I

type t
val inject : t -> T.t