this gives me an idea for a new typescript type level project