Full description of my problem is on Stack Overflow:

http://stackoverflow.com/questions/29011479/how-can-a-monadic-sequential-migration-be-implemented-for-data-in-acid-state

Any comments or suggestions would be greatly appreciated!