getEvBindsTcPluginM :: TcPluginM EvBindsVar
getEvBindsTcPluginM = fmap (expectJust oops) getEvBindsTcPluginM_maybe
  where
    oops = "plugin attempted to read EvBindsVar outside the constraint solver"
#endif
getEvBindsTcPluginM :: TcPluginM EvBindsVar
getEvBindsTcPluginM = fmap (expectJust oops) getEvBindsTcPluginM_maybe
  where
    oops = "plugin attempted to read EvBindsVar outside the constraint solver"
#endif
getEvBindsTcPluginM = fmap (expectJust oops) getEvBindsTcPluginM_maybe
  where
    oops = "plugin attempted to read EvBindsVar outside the constraint solver"
#endif