type A is Interface;
