So, for the price of at most a few instructions, your program can have the provability of a functional program and the speed and memory characteristics of an imperative one.
If the disks vary in size or speed, you can place volumes to take best advantage of the disks' characteristics, such as putting seldom-accessed data on a slower physical disk.