Types within COOPER