blob: 9ddfa0230a47d4a9d4cdb0c539492a6313516c0e (
plain)
1
2
3
4
5
6
7
|
PolyKinds07.hs:10:11: error: [GHC-88634]
• Data constructor ‘A1’ cannot be used here
(it is defined and used in the same recursive group)
• In the first argument of ‘B’, namely ‘'A1’
In the type ‘B 'A1’
In the definition of data constructor ‘B1’
|