blob: e9b21a297f0adb38dd238f24b656b4a710089a75 (
plain)
1
2
3
4
5
6
|
ArrowGADTKappa.hs:17:26: error:
• Proc patterns cannot use existential or GADT data constructors
• In the pattern: MkG g
In an arrow kappa abstraction: \ (MkG g) -> show -< g
In the command: (id -< x) `handleG` \ (MkG g) -> show -< g
|