Types within SETCO