Make GetValue look more like an isomorphism