path: root/testsuite/tests/ghci/should_run/T12549.stdout

f :: forall k1 k2 (a :: k1 -> k2 -> *) (b :: k1) (c :: k2).
     C a =>
     a b c