Dive into GHC: Targeting Core In the last blog post, we discussed the intermediate structures used in the GHC compiler. This time let’s discuss the Core language. Accompaying Source Code Core GHC’s most central data types. Core is a very small, explicitly-typed, variant of System FC; a typed lambda calculus that differs from the simply typed lambda calculus by the introduction of a mechanism of un