Megesett egyszer, hogy elunta magát egy direktszorzat a nagy állapottérben. Összehívatta a típusokat, szólt nekik, hogy ôrizzék meg típusinvariáns tulajdonságukat, de valami félelmetes dolog jutott eszébe. - Barátaim, és származtatott rokon típusaim! A gond az, hogy már régóta…