Comment by candleknight

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