Module Neg0_unsafe : S0 with type t = repr