| Opt_GADTs
| Opt_RelaxedPolyRec -- -X=RelaxedPolyRec
| Opt_TypeSynonymInstances
+ | Opt_FlexibleContexts
| Opt_FlexibleInstances
| Opt_MultiParamTypeClasses
| Opt_FunctionalDependencies
( "ImplicitParams", Opt_ImplicitParams ),
( "ScopedTypeVariables", Opt_ScopedTypeVariables ),
( "TypeSynonymInstances", Opt_TypeSynonymInstances ),
+ ( "FlexibleContexts", Opt_FlexibleContexts ),
( "FlexibleInstances", Opt_FlexibleInstances ),
( "MultiParamTypeClasses", Opt_MultiParamTypeClasses ),
( "FunctionalDependencies", Opt_FunctionalDependencies ),
, Opt_ImplicitParams
, Opt_ScopedTypeVariables
, Opt_TypeSynonymInstances
+ , Opt_FlexibleContexts
, Opt_FlexibleInstances
, Opt_MultiParamTypeClasses
, Opt_FunctionalDependencies