blob: 2472fdcb34579b64fcbb81f999cd44059d61389e (
plain)
1
2
3
4
5
6
7
8
9
|
T16902.hs:12:10: error:
• Expected a type, but found something with kind ‘a’
‘a’ is a rigid type variable bound by
the type signature for ‘MkF’
at T16902.hs:12:3-12
• In the type ‘F a’
In the definition of data constructor ‘MkF’
In the data declaration for ‘F’
|
