ForeignFunctionInterface, EmptyDataDecls,
TypeSynonymInstances, MultiParamTypeClasses,
FlexibleInstances, Rank2Types, ScopedTypeVariables,
- DeriveDataTypeable, RelaxedPolyRec
+ DeriveDataTypeable
Include-Dirs: . parser utils
TcRnTypes
TcRules
TcSimplify
+ TcErrors
TcTyClsDecls
TcTyDecls
- TcTyFuns
TcType
TcUnify
+ TcInteract
+ TcCanonical
+ TcSMonad
Class
Coercion
FamInstEnv