@rwalkling/typekit A toolkit for type level programming. Usage See tuples showcase and objects showcase