Not exactly, but it looks similar. With what I was talking about you can have as many versions around as you need. An example would be using (TVar (HashMap k v

Not exactly, but it looks similar. With what I was talking about you can have as many versions around as you need. An example would be using (TVar (HashMap k v)) in Haskell.