#5777: core lint error with arrow notation and GADTs
-+--
Reporter: benmos| Owner:
Type: bug | Status: new
Priority: normal
#5777: core lint error with arrow notation and GADTs
--+-
Reporter: benmos | Owner:
Type: bug| Status: new
Priority: normal |
#5777: core lint error with arrow notation and GADTs
--+-
Reporter: benmos | Owner:
Type: bug| Status: new
Priority: normal |
#5777: core lint error with arrow notation and GADTs
+---
Reporter: benmos | Owner:
Type: bug | Status: new
Priority: normal |