blob: 5cade1ded2075092c2a537d7671a3f293e4c1c5f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
T17963.hs:15:23: error:
• Couldn't match kind ‘rep1’ with ‘'LiftedRep’
When matching kinds
k0 :: *
ob :: TYPE rep1
‘rep1’ is a rigid type variable bound by
the class declaration for ‘Category'’
at T17963.hs:13:27-29
• In the first argument of ‘cat’, namely ‘a’
In the type signature: id' :: forall a. cat a a
In the class declaration for ‘Category'’
|