sig type t = T.t val repr : t TI.repr end