Другие типы

В Scala есть несколько других расширенных типов, в том числе:

• existential types
• higher-kinded types
• singleton types
• refinement types

Ссылки:

• Scala3 book