Polymorphism and typed TH
|Reported by:||monoidal||Owned by:|
|Type of failure:||None/Unknown||Difficulty:||Unknown|
|Test Case:||Blocked By:|
data A a = A x = [||A||] y = x :: Q (TExp (A Int))
$$x is given type A a, as expected. However, $$y is also given type A a. I would expect it to be A Int. In other words, given p :: Q (TExp T1), $$p :: T2 I think GHC should verify the equation T1 ~ T2.