This is not a confusion but a fundamental difference in viewpoint. Not everything can be, nor should it be, solved at compile time.

"anything solved in the type system drops off the list of what needs to be solved" AT A HUGE COST. Everything has a cost to it and even if you could hypothetically most solve things at compile time (you cannot), it might take a damn long time to compile it.