Cyril Sobierajewicz

Now that we have safe coercions we could, in the spirit of https://github.com/purescript/purescript-newtype/pull/22, constrain `unwrapF` and `unF` with `Coercible (f t) (f a)` instead of `Functor f` and support both...

Those functions could benefit from the functional dependency brought by the Newtype constraint, I’d be inclined to revisit this after 0.14 though: perhaps bare coerce will be enough for most...