17 Jun
2014
17 Jun
'14
4:06 a.m.
FYI it's #7828, not #7282. Of course, yes.
would making arrow remindable involve dropping the arr == haksell functions assumption or doing something that would allow generalized arrows? Not sure if I fully understand what you mean. There's an idea to give up on current desugaring that heavily uses arr, >>> etc. in favor of desugaring based on bind equivalents for arrows. Is this what you wanted to know? There's some discussion on the Trac you might want to follow.
Janek