Builder: Generalize base monad of fromOrderedToFile
Merge: Generalize base monad to MonadIO