2 ms·That's certainly cleverer, but it's still a nested user-implemented unsound type-system.by blasdel 17y agoThat's certainly cleverer, but it's still a nested user-implemented unsound type-system.