haskell-modules: break inifinite doCheck recursion