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