Make a record of SProxy of keys of a row type easily, and just plug in the inferred type when you're finished. - View it on GitHub