Legend:

But that is inadequate to describe GADTs and associated types. So in 2006 we extended GHC to support System FC, which adds

9

9

* equality constraints and coercions

10

You can find a full description of FC in the paper [http://research.microsoft.com/~simonpj/papers/ext-f]. The notes that follow sketch the implementation of FC in GHC, but without duplicating the contents of the paper.

10

You can find a full description of FC in the paper [http://research.microsoft.com/~simonpj/papers/ext-f]; note that GHC uses the system described in post-publication Appendix C, not the system in the main body of the paper. The notes that follow sketch the implementation of FC in GHC, but without duplicating the contents of the paper.