blob: ea07442a82002613e9433d3eaae230cd0f023718 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
deriving-via-fail.hs:10:34: error:
• Couldn't match representation of type ‘a’ with that of ‘b’
arising from the coercion of the method ‘showsPrec’
from type ‘Int -> Identity b -> ShowS’
to type ‘Int -> Foo1 a -> ShowS’
‘a’ is a rigid type variable bound by
the deriving clause for ‘Show (Foo1 a)’
at deriving-via-fail.hs:10:34-37
‘b’ is a rigid type variable bound by
the deriving clause for ‘Show (Foo1 a)’
at deriving-via-fail.hs:10:34-37
• When deriving the instance for (Show (Foo1 a))
deriving-via-fail.hs:13:12: error:
• Cannot derive instance via ‘fooo’
Class ‘Category’ expects an argument of kind ‘* -> * -> *’,
but ‘fooo’ has kind ‘*’
• In the newtype declaration for ‘Foo2’
deriving-via-fail.hs:16:20: error:
• Couldn't match representation of type ‘a’ with that of ‘Foo3’
arising from the coercion of the method ‘==’
from type ‘a -> a -> Bool’ to type ‘Foo3 -> Foo3 -> Bool’
‘a’ is a rigid type variable bound by
the deriving clause for ‘Eq Foo3’
at deriving-via-fail.hs:16:20-21
• When deriving the instance for (Eq Foo3)
|
