3 ms·

Then provide compile-time warnings---something still not done. Haskell's GHC now does -fdefer-type-errors