add haskell implementation; update verify to suppress stderr