path: root/testsuite/tests/typecheck/should_fail/tcfail160.hs

-- Kind error message

module ShouldFail where

data T k = T (k Int)

g :: T Int
g x = x