You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
A seemingly random subset of the classes we rely on get re-exported. Do we want to re-export anything? That's been getting less popular, but possibly MonadLogic? I think probably not MonadTrans and whatever.
The text was updated successfully, but these errors were encountered:
Thanks for filing this. I keep forgetting to add an issue about it. I think I exported MonadTrans by mistake. I was modeling the exports after LogicT and I think it should have been MonadLogic that I exported.
A seemingly random subset of the classes we rely on get re-exported. Do we want to re-export anything? That's been getting less popular, but possibly
MonadLogic
? I think probably notMonadTrans
and whatever.The text was updated successfully, but these errors were encountered: