1 2 3 4 5 6 7
tcfail160.hs:7:8: Kind mis-match The first argument of `T' should have kind `* -> *', but `Int' has kind `*' In the type signature for `g': g :: T Int