add kDNF.hs