Visible kind application
[ghc.git] / testsuite / tests / partial-sigs / should_compile / T14715.stderr
1
2 T14715.hs:13:20: warning: [-Wpartial-type-signatures (in -Wdefault)]
3     • Found type wildcard ‘_’ standing for ‘Reduce (LiftOf zq) zq’
4       Where: ‘zq’ is a rigid type variable bound by
5                the inferred type of
6                  bench_mulPublic :: (z ~ LiftOf zq, Reduce (LiftOf zq) zq) =>
7                                     Cyc zp -> Cyc z -> IO (zp, zq)
8                at T14715.hs:(14,1)-(16,14)
9     • In the type signature:
10         bench_mulPublic :: forall z zp zq.
11                            (z ~ LiftOf zq, _) => Cyc zp -> Cyc z -> IO (zp, zq)