Minor neatenings
Start Haskell implementation.