, (Opt_ModalTypes, turnOff, Opt_MonomorphismRestriction)
, (Opt_RebindableSyntax, turnOff, Opt_ImplicitPrelude) -- NB: turn off!
, (Opt_ModalTypes, turnOff, Opt_MonomorphismRestriction)
, (Opt_RebindableSyntax, turnOff, Opt_ImplicitPrelude) -- NB: turn off!