introduce new type node which is (Int, T)