I was hoping to create a type representing those functions with type T in the last argument position. Variadic tuple types looked like they would solve this without
T