path: root/testsuite/tests/simplCore/should_compile/T4201.stdout

                   ((->) (Sym (Eta.NTCo:Foo)) (Refl Eta.T))) -}