Reification from the GHC core level