Update contextual space and haskell