Rebindable do syntax?

[jackfirth]

Haskell has an extension named Rebindable Syntax that allows reuse of do notation for non-monadic operations, by changing what operations a <- b and return expand to. This blog post has a very good explanation of what this is useful for. Would it make sense to add this to this library? It seems doable by adding syntax parameters for the operations do expands to, which default to monad operations.

[tonyg]

Sounds no less useless than monads-for-racket to begin with :-)

return should be able to be handled by simple rebinding, but <- is a problem because it lexically refers to the bind in main.rkt. For that, a syntax-parameter might be necessary. None of the uses in the blog post you linked leapt out at me as must-haves, though, so I'm a bit lukewarm on the idea. Nonetheless, if you felt like having a stab at it, I'd probably take the patch!