purescript-xiaomian (bower): Make a record of SProxy of keys of a row type easily, and just plug in the inferred type when you're finished.
Keywords: purescript|type-level