Visible kind application
[ghc.git] / testsuite / tests / ghci / scripts / T12447.stdout
1 deferEither @(_ ~ _)
2   :: (Typeable _1, Typeable _2) =>
3      proxy (_1 ~ _2) -> ((_1 ~ _2) => r) -> Either String r