type ideas from theory