Ah, perfect! I'm all in favor of not having them here (and wasn't really seeing why the NumInstances instances weren't being imported). They arise because of the uses of `max` in `sided` and `specularG`, which needs `Ord`