exact de types