(deftype fruit ()
  '(member +apple+ +banana+ +cherry+))