Make sure both HSE and GHC modules are exposed