Fundeps work even for unary type classes
[ghc.git] / testsuite / tests / typecheck / should_fail / T8262.stderr
1
2 T8262.hs:5:15: error:
3     • Couldn't match a lifted type with an unlifted type
4       When matching the kind of ‘GHC.Prim.Int#’
5     • In the first argument of ‘Just’, namely ‘(1#)’
6       In the expression: Just (1#)
7       In an equation for ‘foo’: foo x = Just (1#)