haskell: test udpate