Почему Scala не поддерживает ограничение на значения, как в ML?

Scala не поддерживает ограничение на значения, как в ML, из-за особенностей синтаксиса. stackoverflow.com

В Scala значения не могут иметь полиморфных типов, это могут только методы. stackoverflow.com Кроме того, язык устанавливает синтаксическое ограничение на все ссылки, что является компромиссом: такое ограничение охватывает больше случаев, чем ограничение значения в ML, но при этом более регулярное. stackoverflow.com

Однако в Scala есть возможность ограничивать параметры типа и члены абстрактного типа определёнными диапазонами. docs.scala-lang.org Такие диапазоны ограничивают конкретные значения типа и, возможно, предоставляют больше информации о членах таких типов. docs.scala-lang.org