Unfortunately ghc 8.8.1 and cabal-install 3.0 are not compatible with
ghc-pkg as documented in
https://github.com/haskell/cabal/issues/6262#issuecomment-538850477. As
Daniel Grober wrote there:
I think this is expected behaviour, at least from the cabal side of things.
Version 3.0.0.0 switched to
Hi devs,
In a perfect world, Coercible would relate any two types with the same
representation. But the world is not perfect! So we fall well short of this
goal.
Specifically, Coercible allows conversions between a newtype and its
representation, and additionally between datatypes where the ro
And just to close the loop: the more general coercions that Sebastian has
talked about would have computational content, but these are well beyond what
GHC supports at the moment (and there are no plans to move in that direction).
Richard
> On Oct 6, 2019, at 10:38 PM, Simon Peyton Jones via gh
