Successfully converted all functions to point-free style - except diff, which still has to do pattern matching on its input.