Now that's hard.

The next logical step is to type in point-free Haskell programs.