Agda.TypeChecking.Rules.LHS
flexiblePatterns
dotPatternInsts
instantiatePattern
isSolvedProblem
noShadowingOfConstructors
checkDotPattern
bindLHSVars
bindAsPatterns
checkLeftHandSide
noPatternMatchingOnCodata