sig
  type 'a t
  val strip :
    ('a Type_equal.Injective.t, 'b Type_equal.Injective.t) Type_equal.equal ->
    ('a, 'b) Type_equal.equal
end