I think if it could be switched between a compile time error/warning then we'd be in a great place. I think even in Haskell you need to switch it on as a compi

I think if it could be switched between a compile time error/warning then we'd be in a great place. I think even in Haskell you need to switch it on as a compiler option.