* DONE Subtyping and Generics
CLOSED: [2013-07-25 jeu. 09:22]
* DONE Variance
CLOSED: [2013-07-25 jeu. 11:35]
* DONE Decomposition
CLOSED: [2013-07-25 jeu. 12:04]
* DONE Pattern Matching
CLOSED: [2013-07-25 jeu. 13:05]
* DONE Lists
CLOSED: [2013-07-25 jeu. 13:39]