Add module Example.Monad