Skip to content
minimalist polymorphic scheme-(co)monads, written to avoid use of any advanced language features except hygienic macros
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Failed to load latest commit information.



This provides an example of how one can encode real monads in scheme in such a way that you can write combinators that are parametric in their choice of monad.

Contact Information

Contributions and bug reports are welcome!

Please feel free to contact me through github or on the #haskell IRC channel on

-Edward Kmett

Something went wrong with that request. Please try again.