Scheme Monads
=============

These are a proof of concept of Haskell style monads in scheme.
They currently support both bind (`>>=`) and `do` notation.

TODO
----
- A propper way to call `return`. Probably by allowing bind to act as a macro
  and introduce a return procedure of the appropriate type.