generation of Dtype now gets fun-type right