One interface can inherit another