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

[Georgi Lyubenov]

Greetings!

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

not being coercible?

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

Thanks in advance!

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