change to haskell-check.