Module type S0 = S0 with type repr = repr