Agda.TypeChecking.UniversePolymorphism

compareLevel