2 ms·

In order to make _some_ things safer, every type system must make _other_ things impossible. There is, as far as I'm aware, no real way around that.