Agda.TypeChecking.With
showPat
withFunctionType
buildWithFunction
stripWithClausePatterns
withDisplayForm
patsToTerms