blob: 8584008cd3b408f5260b86acd3d2290f522862be (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
tcfail113.hs:12:7:
Expecting one more argument to ‘Maybe’
Expected kind ‘*’, but ‘Maybe’ has kind ‘* -> *’
In the type signature for ‘f’: f :: [Maybe]
tcfail113.hs:15:8:
The first argument of ‘T’ should have kind ‘* -> *’,
but ‘Int’ has kind ‘*’
In the type signature for ‘g’: g :: T Int
tcfail113.hs:18:6:
‘Int’ is applied to too many type arguments
In the type signature for ‘h’: h :: Int Int
|