The change to use a newtype for RectC is kind of ugly, but this way instances are less likely to conflict in the tests.