GHC user manual