blob: 2794cb2afc586a220e49ee8ab68c401c2ab57f38 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
T2994.hs:11:10:
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:13:23:
Expecting one more argument to ‛Reader' r’
The first argument of ‛MonadReader’ should have kind ‛*’,
but ‛Reader' r’ has kind ‛* -> *’
In the instance declaration for ‛MonadReader (Reader' r)’
T2994.hs:15:10:
‛MonadReader’ is applied to too many type arguments
In the instance declaration for ‛MonadReader r r (Reader' r)’
|