Как назначение переменной TupleN значения *: тип работает в Scala 3?

#scala #scala-3 #hlist #dotty #singleton-type Вопрос: Из дерева иерархии типов в scala пусть a: Tuple2[Int,Int] , я знаю Tuple2[Int,Int] , что простирается от Product2[Int,Int] ; пусть b: 1 *: 2…