5:9-12 TPatternSynonym "Foo"