Fix `cabal check` issues