- FlexibleInstances, FunctionalDependencies, MultiParamTypeClasses,
- ScopedTypeVariables, TypeSynonymInstances
+ FlexibleInstances, FunctionalDependencies,
+ MultiParamTypeClasses, ScopedTypeVariables,
+ TypeSynonymInstances, UndecidableInstances,
+ IncoherentInstances