Interfaces as types