blob: e38d216fafc699e963c5270d049078b0394b5bf6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
T17963.hs:15:23: error:
• Couldn't match kind ‘rep’ with ‘'LiftedRep’
When matching kinds
k0 :: *
ob :: TYPE rep
‘rep’ 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'’
|
