[Haskell-cafe] [RFC] Constraint based arrow notation (GHC proposal)

Alexis King lexi.lambda at gmail.com
Fri Dec 6 09:10:57 UTC 2019

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:



More information about the Haskell-Cafe mailing list