It would be a mistake to conclude that this means shoes are pointless or there's no such thing as a shoe that fits well.

Indeed, there are other invariants to type systems that are much better than cutting off your toes.