Agda.TypeChecking.Rules.LHS.Split
asView
expandLitPattern
splitProblem
wellFormedIndices