Help needed: Restrictions of proc-notation with RebindableSyntax

Tom Ellis tom-lists-haskell-cafe-2013 at
Wed Dec 21 22:09:45 UTC 2016

On Wed, Dec 21, 2016 at 01:49:33PM -0600, amindfv at wrote:
> Additionally, Opaleye uses Arrow syntax pretty heavily iirc.

If I were writing the Opaleye tutorial today (and if I rewrite it) I will
shy away from arrows and encourage users to use applicative style.  There's
only one operator where applicative is not enough, 'restrict', and that can
be wrapped up as a different combinator so that no one knows they're ever
using arrows.


More information about the ghc-devs mailing list