Are we just ensuring that the new types go at the bottom? Can we use an intention-reflecting constant here?