Finished haskell paper and haskell examples