blob: e14e62bddfbccbee8f922b19ec877e011249b9c7 (
plain)
1
2
3
4
5
6
7
8
9
10
|
tcfail212.hs:10:7: error:
Expecting one more argument to ‘Maybe’
The first argument of a tuple should have kind ‘*’,
but ‘Maybe’ has kind ‘* -> *’
In the type signature: f :: (Maybe, Either Int)
tcfail212.hs:13:7: error:
Expecting a lifted type, but ‘Int#’ is unlifted
In the type signature: g :: (Int#, Int#)
|