case "A implements IA, B extends A"
extending interfaces