ghc-invariant