Archived tweet #6773 from the @leastfixedpoint Twitter Archive

It's pragmatic to treat '(), "", 0 etc as #f if you see them as the base case of an inductive structure. Gives uniform code for recursion.