Idris.Transforms
transformPats
transformPatsWith
applyTransRulesWith
applyTransRules