Implement Lancelot monad