functor (X : Typerep_lib.Std.Typerepable.S2->
  sig val witness : unit -> ('a, 'b) X.t Type_immediacy.Never.t end