Merge Monad[Core] and Traverse[Core].