No matches were found for subject:"\[GHC\] #5777\: core lint error with arrow notation and GADTs \(was\: Panic with Arrow Notation and GADTs\)"