blob: c5e8977bc5baa0bd1caf36f5010e45e7de3427f2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
drvfail009.hs:10:31: error: [GHC-73993]
• ‘C’ is not a unary constraint, as expected by a deriving clause
• In the newtype declaration for ‘T1’
drvfail009.hs:13:31: error: [GHC-62016]
• Cannot derive well-kinded instance of form ‘Monad (T2 ...)’
Class ‘Monad’ expects an argument of kind ‘* -> *’
• In the newtype declaration for ‘T2’
drvfail009.hs:16:33: error: [GHC-26557]
• Can't make a derived instance of ‘Monad T3’
(even with cunning GeneralizedNewtypeDeriving):
cannot eta-reduce the representation type enough
• In the newtype declaration for ‘T3’
drvfail009.hs:19:42: error: [GHC-26557]
• Can't make a derived instance of ‘Monad T4’
(even with cunning GeneralizedNewtypeDeriving):
cannot eta-reduce the representation type enough
• In the newtype declaration for ‘T4’
|
