позволяет внутри A

def toBase : Base = self

я вот немного не понял, subtyping это включение именно данных или к интерфейсам тоже относится? или и то и то?

так это же фича self-тайпинга, а не странность языка

нельзя

не уверен что понял вопрос, это отношение подтипа которое есть в языке.
то что в скале в дженериках выглядит как A <: B
один из способов задания - это наследование -A extends B
другой это варивантность. например type C = List[A], type D = List[B], тк лист ковариантный у нас получаетися отношение подтипа  C <: D
навскидку не помню есть ли в скале еще способы задания такого отношения

а ну например Nothing является подтипом любого типа (без наследования)
также как Null для всех AnyRef
И наоборот Any неявно надтип для всех

напоминает иерархию классов типов из haskell

но вот в хаскеле же как раз нет сабтайпинга)

между TC по крайней мере
если я ничего не путаю

мой основной инструмент js, похоже там явление сабтайпинга мало применимо, потому я о нём не знаю

ну в js вообще с типами все очень... сложно. в том палане чтобы как-то получать пользу от теории типов. но есть же flow, там наверное есть понятие сабтайпинга
но вообще этого не знает 90% джавистов, да я думаю и большинство скалистов не знают (50+%, учитывая что большая часть это вчерашние джависты, да еще и на каком-нибудь спарке пишут) .
потому что часто по гайдам научились что можно унаследовать и подставлять наследника на место супертипа, и что если есть плюсик в дженерике, то тоже самое можно и с дженерифицированным классом делать

в ES6 оператор instanceof можно перегружать, теперь типизация стала ещё более "утиной"

похоже на coerce для ньютайпов

та есть же, к примеру forall a . a <: Int, если сабтайпинг понимать как возможность использовать более "общий" тип вместо более конкретного

хаскелевские классы типов более похожи на интерфейсы в других языках, например golang

нельзя понимать сабтайпинг так, если я правильно помню, предложение ввести отношение субтайпинга и вариантность для констрейтов было, но было отклонено
@kai_neko конкретнее расскажет

потому и спросил: это относится к данным или к интерфейсам?

это относится к типам

разделения на "данные" и "интерфейсы" на уровне языка нет