Subtype Pair<a,b>
/* nochmals pruefen koennte aber stimmen */
class Number {}
class Integer extends Number {}
class Menge<a> { }
class Pair<a,b> { }
class Subtype extends Pair<Integer,Integer> { }