Module Neg : S with type t = private repr