instance is a defined type