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