moved src/monads to branch example-monad.