a sort of online version of ghc-core