Types within DONALDSON