, (Opt_ModalTypes, turnOn, Opt_RankNTypes)
, (Opt_ModalTypes, turnOn, Opt_ExplicitForAll)
- , (Opt_ModalTypes, turnOn, Opt_RebindableSyntax)
+ --, (Opt_ModalTypes, turnOn, Opt_RebindableSyntax)
, (Opt_ModalTypes, turnOff, Opt_MonomorphismRestriction)
, (Opt_RebindableSyntax, turnOff, Opt_ImplicitPrelude) -- NB: turn off!