type A is interface;
