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
I don't believe that either mapsExposed or mapsMExposed actually exposes anything it shouldn't. Whereas hoist must be passed a monad morphism to get sensible results, I'm pretty sure these functions will work with arbitrary natural transformations.
The text was updated successfully, but these errors were encountered:
I don't believe that either
mapsExposed
ormapsMExposed
actually exposes anything it shouldn't. Whereashoist
must be passed a monad morphism to get sensible results, I'm pretty sure these functions will work with arbitrary natural transformations.The text was updated successfully, but these errors were encountered: