Oℕ
Т.е. либо имплиситное значение типа A => B, либо специальная функция, которая имеет ровно один явный аргумент надтипа A, и возвращает подтип B
Size: a a a
Oℕ
E
Oℕ
E
Oℕ
E
E
E
override def doubleValue = self.toDouble
Oℕ
Oℕ
Oℕ
override def doubleValue = self.toDouble
E
E
E
Oℕ
Oℕ
E
E
E
Oℕ