<div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div>In case this wasn't clear, the context of this discussion in this GHC proposal [1], where David is trying to work around the fact that data types with existential Coercible constraints do not support unpacking. (By "unpacking", I mean putting an {-# UNPACK #-} pragma in front of a field of that type does what you would expect.)</div><div><br></div><div>An example program which demonstrates the performance issue can be found here [2]. That comment concerns unboxed equality vs. boxed equality, but the same unpacking problems that affect boxed equality also affect Coercible.<br></div><div><br></div><div>Ryan S.</div><div>-----<br></div><div>[1] <a href="https://github.com/ghc-proposals/ghc-proposals/pull/116">https://github.com/ghc-proposals/ghc-proposals/pull/116</a></div><div>[2] <a href="https://github.com/ghc-proposals/ghc-proposals/pull/116#issuecomment-382346662">https://github.com/ghc-proposals/ghc-proposals/pull/116#issuecomment-382346662</a><br></div></div></div></div></div>