Turn README into a Literate Haskell program

Yes.