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.