Fix `cabal check` errors