2 ms·Indeed, there are other invariants to type systems that are much better than cutting off your toes.by noosphr 9mo agoIndeed, there are other invariants to type systems that are much better than cutting off your toes.