@jonn don't really see the point of types alone without actual code.
The util library I'm making for our new framework (of course I'm making a new framework) is based around type inference wherever possible.
And type inference for pipe() took several attempts and like a week of work in total. And still needs kludges for overloaded functions. And isn't properly variadic either.
@jonn I'm not ready to publish the monorepo (I'm being paid to work on this and we still haven't decided on licensing, it's likely that the cms/crm to built on top of it will not be FOSS, but all the libraries probably will be). But I can give you access if you want to take a look!
