The Baby Paradox in Haskell

It is implied, or goes without saying, that baby loves baby too. A love song wouldn't explicitly state this because it would appear vain and come off as a slight. Thus, the actual consequent is "((x == singer || x == baby) && (singer /= baby))"