[Haskell-cafe] Coercible between data A a b = A a b and (a, b)

Georgi Lyubenov godzbanebane at gmail.com
Mon Feb 25 14:38:25 UTC 2019


Is there any reason behind/what is the reason behind
data A a b = A a b
(a, b)

not being coercible?

And in general all n-ary constructors not being coercible to one another?

Thanks in advance!

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20190225/0d80391a/attachment.html>

More information about the Haskell-Cafe mailing list