Agda.TypeChecking.MetaVars.Occurs
class Occurs t