functor (T : TI.REPR) ->
  sig
    module T : sig type t = T.t val repr : t TI.repr end
    val is_ty : T.t -> bool
    val repr : T.t -> T.t view
  end