Some helpers for GHC Core and HERMIT