
25 Feb
2019
25 Feb
'19
2:38 p.m.
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