sig
  module T : TI.REPR
  val is_ty : T.t -> bool
  val repr : T.t -> T.t TypePoly.view
end