2 ms·
> unsafeCoerce GHC-specific implementation detail. > the trust that bad instances are never created The only way I can trust it is if the compiler enforces i
by catnaroek 11y ago
> unsafeCoerce
GHC-specific implementation detail.
> the trust that bad instances are never created
The only way I can trust it is if the compiler enforces it, at which point it isn't “just a library feature”.