illustrates deriving an interface from one interface