Good work as always. At one point eddyb and I (cmr) discussed some harebrained schemes to get the “structural traits”, almost always treated with derive, generated lazily or reflectively. Never ended up happening…