blob: f36b5e104ede2e5b4d3000fc7db8dfa965f6bf38 (
plain)
1
2
3
4
5
6
7
|
ExplicitSpecificity2.hs:11:15: error: [GHC-95781]
• Cannot apply expression of type ‘Proxy (*) -> T (*)’
to a visible type argument ‘Int’
• In the expression: C @Type @Int Proxy
In an equation for ‘x’: x = C @Type @Int Proxy
In the expression: let x = C @Type @Int Proxy in ()
|
