Module Neg_unsafe : S with type t = repr