Cleaned Monad.fs