. . . "-- for x, x' of types a, b, or c, we assume show x == show x' <==> x == x'" .