Radio buttons Workshop widget?

Why is there no built-in radio button widget in a Workshop module?
What do people use instead?
(Multiple checkboxes?)

I have just realized after posting this message, that there’s a widget called String Selector, which is exactly what I needed.