Parameter LiftUnary.I

type 'a t
val inject : 'a t -> 'a T.t