add types::tuple_cat