I don't see a pipe combinator in there, but maybe I can't see it
through the poor formatting of the table... It's been a while since I
delved deep into type theory, but I am not aware of any language which
supports this sort of type safety in functions while being variadic.
Are you aware of any? The only ones I am aware of use macros, which
are different as they are evaluated and expanded at compile time.