Agda.TypeChecking.MetaVars.Occurs
data OccursCtx
class Occurs t