Types within DNE