Using TypeSymbols in Pattern