Added Haskell example implementations with descriptions