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.
alt Hacker News
Indeed, there are other invariants to type systems that are much better than cutting off your toes.