Add custom monad examples