Geometry is no longer a GADT