(if-without-checking "switch on the typechecker first!~%")

(datatype fruit

   if (element? Fruit [cherry pear orange pineapple lemon])
   _____________
   Fruit : fruit;)