4 ms·Unsound is what you want. Sound type systems are pretty much unusable.by hota_mazi 9y agoUnsound is what you want. Sound type systems are pretty much unusable.