fix stateless ml_monad to use CakeML chars