Reasoning on unicode static data compression at GHC-side