blob: ebd01644dec6210df4fd331237b5b8f8ab4532fa (
plain)
1
2
3
4
5
6
7
8
9
|
T16728.hs:8:37: warning: [-Wpartial-type-signatures (in -Wdefault)]
• Found type wildcard ‘_’ standing for ‘k’
Where: ‘k’ is a rigid type variable bound by
the inferred type of f :: Proxy x
at T16728.hs:8:13
• In the kind ‘_’
In the first argument of ‘Proxy’, namely ‘(x :: _)’
In the type ‘Proxy (x :: _)’
|