Supponiamo che io sono: class Bounded[A] {
type apply[C <: A] = C
}
Questo compila: implicitly[Bounded[Any]#apply[String] =:= String]
Questo fallisce: type Str = Bounded[Any]#apply[String]
Quindi sto provando a creare un tipo per tuple di lunghezza variabile, fondamentalmente come una versione più carina di Either a (Either (a,b) (Either (a,b,c) ...)) e Either (Either (Either ... (x,y,z
Sto cercando di saperne di più sui tipi di fantasma. Sto cercando di leggere attraverso Fun with Phantom Types di Ralf Hinze. Sta usando una parola chiave with che non ho mai visto prima e che non rie