Comment by bctnry

That's effectively not true[1].

[1]: https://github.com/SMLFamily/Successor-ML