That is true of Haskell at this point too. Stictness annotations and unboxed types are sometimes necessary to squeeze maximum performance. I think the idea wou

That is true of Haskell at this point too. Stictness annotations and unboxed types are sometimes necessary to squeeze maximum performance. I think the idea would be to keep the backdoors, the question is how to make them still usable in that case.