BookeldOr (./551) :
Juste pour dire que vous délirez avec les () qui n'existent pas, ou sont "optimisés"...
Ça n'est pas possible "à cause" du polymorphisme.

J'ai pas dit qu'ils n'existaient pas, juste qu'ils ne contenaient aucune information... (= qu'ils ont 0 bits d'information utile)
De même qu'un float doit être boxé à cause du polymorphisme, mais qu'on peut quand même dire qu'il a une information utile de 64 bits (alors qu'en interne il est représenté sur genre 32+32+64 bits à cause du boxing), ou encore qu'un entier a seulement 31 bits d'information utile

Donc rien à voir avec None, qui lui contient bien des informations utiles pour le différencier de Some truc ^^