blob: bfc4bf916e16184802e8a1cba29b72a8061e6a37 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
T2994.hs:12:10: error: [GHC-83865]
• Expecting one more argument to ‘MonadReader Int’
Expected a constraint,
but ‘MonadReader Int’ has kind ‘* -> Constraint’
• In the instance declaration for ‘MonadReader Int’
T2994.hs:14:10: error: [GHC-83865]
• Expecting one more argument to ‘MonadReader (Reader' r)’
Expected a constraint,
but ‘MonadReader (Reader' r)’ has kind ‘* -> Constraint’
• In the instance declaration for ‘MonadReader (Reader' r)’
T2994.hs:14:23: error: [GHC-83865]
• Expecting one more argument to ‘Reader' r’
Expected a type, but ‘Reader' r’ has kind ‘* -> *’
• In the first argument of ‘MonadReader’, namely ‘(Reader' r)’
In the instance declaration for ‘MonadReader (Reader' r)’
T2994.hs:16:10: error: [GHC-83865]
• Expected kind ‘(* -> *) -> Constraint’,
but ‘MonadReader r r’ has kind ‘Constraint’
• In the instance declaration for ‘MonadReader r r (Reader' r)’
|