In my comment (which you responded to) I am using the definite article. "The" language in this case is Haskell, and "the" compiler is GHC.

The inference rules and complexities of Haskell as defined in the 2010 report are minimal and as a result, a fast compiler could theoretically exist for Haskell. Speed is not a primary concern for GHC devs, though.