Actually, having Some(x) be just a pointer to x seems to work fine without an explicit tag, as dragonwriter says below.