Agda.TypeChecking.Rules.Decl