[Haskell-cafe] Monadic/sequential migration implementation for data in acid-state