blob: dd63bf47ca8a50d88e9be99c49a8d2a5ac5b117c (
plain)
1
2
3
4
5
6
|
T12966.hs:4:39: error:
• 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’
|