Agda.TypeChecking.Rules.LHS.AsPatterns
recoverAsPatterns