This project provides the equivalent of a Monad Typeclass similar to Haskell. The main difference though is that the typeclass is not abstract but the continuation monad.

An example monad for the Maybe type in the README.