This seems remarkably little code, but it appears to work. I can add tests for invalid structs at some point, once the general approach is approved.