Migrate monad files, too (except tests, for now)