add new test files
upload Haskell implementation by Paul