Make T example match the rest
Add uniform accessors, for lens types without type-changing update