Getting cabal check to pass