Arrow notation vs RebindableSyntax

[Ross Paterson]

On Thu, Mar 13, 2014 at 04:36:54PM -0500, Nicolas Frisby wrote:
> The 7.8-rc2 User Guide for rebindable syntax includes:
> 
>     Arrow notation (see Section 7.16, "Arrow notation") uses whatever
>     arr, (>>>), first, app, (|||) and loop functions are in scope.
>     But unlike the other constructs, the types of these functions
>     must match the Prelude types very closely.  Details are in flux;
>     if you want to use this, ask!
> 
> I want to use this: my types for the functions apparently do not match the
> Prelude types closely enough.
> 
> Whom should I ask about this?

Daniel Winograd-Cort was looking at this, but I haven't heard anything
for a while.  My own view is that rebinding should be done at the control
operator level rather than the level of arrow combinators.  But what are
the types of your functions?