sig
  module T : sig type t = T.t val repr : t TI.repr end
  type t = T.t
  val repr : T.t -> T.t view
end