type-ify the Ring Keys