Wrapped could use something stronger than `Iso` and weaker than an `Equality`. #256

ekmett opened this Issue Jan 20, 2013 · 1 comment


None yet
1 participant

ekmett commented Jan 20, 2013

We could possibly upgrade Wrapped to something that enables the user to dimap as a no-op on appropriate Profunctors. The trick is figuring out the right API to do so without exposing a user-visible unsafeCoerce.

ekmett was assigned Jan 20, 2013


ekmett commented Mar 10, 2014

The current Coercible API doesn't seem conducive to this. Giving up for now.

ekmett closed this Mar 10, 2014

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment