Is it permissible to name a girl "Haniyyah" and a boy "Nafi' "?

It is permissible to name a newborn "Nafi‘" (beneficial) and "Haniyyah" (delightful). However, it is disliked to name a male "Nafi‘", "Aflah" (most successful), "Rabah" (gainer), "Yasar" (ease/wealth), and "Najiḥ" (successful); due to the apprehension of ill-omen if it is asked, "Is he there?" and the answer is "No." Also, so that the named person is not disparaged if his qualities contradict his name. The prohibition here indicates a reprehensibility of disfavor (karahah tanzihiyyah), not outright prohibition (taḥrīm).