& #39;demon& #39; is paraphyletic. some fairies can be demons, some ghosts can be demons. it describes an ecological niche, not a clade.
hence Beetlejuice and Candyman are demons and also ghosts. imps are demons but also fairies.
got it all figured out, folks.