Use `ghc --numeric-version`