Types within CACTUS