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!