Hello all, I have recently written a GHC proposal to change the typechecking rules for arrow notation (aka `proc`) to better support custom control operators. Specifically, it reverses a change made in GHC 7.8 due to technical limitations that requires control operators to have significantly uglier types. Although arrows have fallen out of favor with the Haskell community in recent years, presumably there are still at least a few users. If you use `proc` notation, and especially if you use its support for custom control operators (i.e. (| banana brackets |)), your feedback would be highly valued. To read or comment on the proposal, follow this link: https://github.com/ghc-proposals/ghc-proposals/pull/303 Thanks, Alexis