blob: 8de98d14b14ed5cc1428a7fdde9e0e2f52294144 (
plain)
1
2
3
4
5
6
|
T12966.hs:4:39: error: [GHC-83865]
• Expecting one more argument to ‘(~) (Maybe d)’
Expected a type, but ‘(~) (Maybe d)’ has kind ‘* -> Constraint’
• In the type ‘forall d. (c d) => ((~) (Maybe d))’
In the type declaration for ‘Maybeify’
|