functor (X : Typerep_lib.Std.Typerepable.S1->
  sig val witness : unit -> 'X.t Type_immediacy.Always.t end