the problem is it still does global inference, it just checks it against the signature in the mli at the end. So it's almost the worst of both worlds: it doesn't actually help inference and gives you terrible error messages.