Module Pos_unsafe : S with type t = repr