3 Aug
2007
3 Aug
'07
11:14 a.m.
| Couldn't this be best done with McBride and Patterson's Applicative | idiom notation? | | So the above would become | | [[l m (pure x) n (pure y)]] (or something like that) | | It would have the advantage of being usable with any Applicative, not | just Monads. Does anyone have a pointer to a stand-alone description of "full-scale idiom notation". S