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