blob: 69022b3a1a6256068191e47ec3e8961895fa63d7 (
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 data constructor ‘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’
|
