fun even []      = true
  | even (_::xs) = odd xs
and odd  []      = false     (* mutual recn *)
  | odd  (_::xs) = even xs

(* E.g., Parity of the length of a list.    *)
(* LA, Comp. Sci. and Software Eng., 7/2005 *)