Por curiosidad, ¿hay idiomas que le permitan establecer aritmética en tipos para crear nuevos tipos? Algo como: interface A { void a(); void b(); } interface B { void b(); void c(); } interface C = A & B; // has b() interface D = A | B; // has a(), b() and c() interface E = (A & B)...