Haskell CG now operates on typechecked programs for ad-hoc record construction