2 Apr
2017
2 Apr
'17
9:01 a.m.
On 02-04-17 14:40:05, Tom Sydney Kerckhove wrote:
Is there a way to access the types before this translation happens? It's okay if I have to assume that type-checking succeeds...
I have found a way to do what I want, even after this translation. It relies on the fact that type class constraints always occur on the left side of the result of splitFunTy. Thank you for your help! -- Tom Sydney Kerckhove