path: root/testsuite/tests/th/T11463.stdout

data Main.Proxy1 (a_0 :: Main.Id1 k_1) = Main.Proxy1
data Main.Proxy2 (a_0 :: Main.Id2 (*) k_1) = Main.Proxy2