Agda.TypeChecking.Substitute.Pattern
fromPatternSubstitution
applyPatSubst