blob: 458922cb9133bb392f0f9386224b30c96d4ad156 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
T3592.hs:8:5: error:
• Couldn't match type ‘a0’ with ‘T a’
Expected: T a -> String
Actual: a0 -> String
Cannot instantiate unification variable ‘a0’
with a type involving polytypes: T a
• In the expression: show
In an equation for ‘f’: f = show
• Relevant bindings include
f :: T a -> String (bound at T3592.hs:8:1)
|