Some changes so monadic transformation is working for ex13.ml