purescript-contrib/purescript-transformers — pull request #3 by paf31 (2014-05-18 01:32:54+00:00)
Title: Initial BounceT implementation

@garyb @puffnfresh @jdegoes @joneshf

Moving my `MonadBounce` type class to a branch for more work.

This is just for discussion. I'm happy to bin this if we decide that `Gosub` is the way to go, but I would still make a claim that both this and `Gosub` should have a place in the std lib.

I think `Gosub` essentially reifies the closure which happens when using `bounce`, except that `Gosub` uses a `bounce` on every call to `>>=`. Also, `Gosub` can be implemented in terms of `BounceT`, but not vice versa.

`evalBounceTEff` is still a victim of the tail call optimizer.