blob: dd5b456230b3e83a86704f87837c34907d46963d (
plain)
1
2
3
4
5
6
7
|
ExplicitSpecificity1.hs:9:15: error:
• Cannot apply expression of type ‘a0 -> a0’
to a visible type argument ‘Int’
• In the expression: foo @Int 42
In an equation for ‘x’: x = foo @Int 42
In the expression: let x = foo @Int 42 in ()
|