<p>
GHC essentially supports two type systems: (1) the <em>source type
system</em> (which is a heavily extended version of the type system of
- Haskell 98) and the <em>Core type system,</em> which is the type system
- used by the by far most important intermediate language (see also <a
+ Haskell 98) and (2) the <em>Core type system,</em> which is the type system
+ used by the intermediate language (see also <a
href="desugar.html">Sugar Free: From Haskell To Core</a>).
</p>
<p>