type A is Interface
