Anacampseros alta var. alta
These are genera with the same genus name in this classification but a taxonomist hasn't confirmed this as a good taxon or synonym.