Improve sml-monads.cm