Agda.TypeChecking.Rules.Builtin.Coinduction