Извиняюсь за подъём этой своей старой темы (5 лет назад последний ответ), но, возможно, кому-то будет интересно знать, что обозначение подтипирования как

, а не

выглядит более ясным, если учесть его сходство с

для значений и типов и тем, что

как подтип в естественном смысле не больше

. Я увидел его в какой-то статье, и ещё один его плюс в том, что его код — просто
<:, т. к. символы отношений слипаются и образуют одно большое.