Lower precedence for {-# UNPACK #-}
[ghc.git] / testsuite / tests / typecheck / should_fail / T12966.stderr
1
2 T12966.hs:4:39: error:
3     • Expecting one more argument to ‘(~) (Maybe d)’
4       Expected a type, but ‘(~) (Maybe d)’ has kind ‘* -> Constraint’
5     • In the type ‘forall d. (c d) => ((~) (Maybe d))’
6       In the type declaration for ‘Maybeify’