tType [Int, LPAR, RPAR] >>= print
tType [Int, LPAR, Num 9, RPAR] >>= print