Updating processing model (both prose and Haskell)