xmap maps from Shared[A] to Shared[B]