Types within DFT