Каковы преимущества ООП подтипов над классами типов, если таковые имеются? Другими словами, теперь, когда у нас есть классы типов, есть ли причина по-прежнему использовать подтип ООП ?
PS: Я программист на Scala.