path: root/testsuite/tests/ghci/scripts/T11721.stdout

MkX :: forall {k} b (a :: k). b -> Proxy a -> X a
MkX @Int :: forall {k} (a :: k). Int -> Proxy a -> X a
MkX @Int @Maybe :: Int -> Proxy Maybe -> X Maybe