Agda.TypeChecking.Empty