...maybe the energy focused on "making basic types easier to write"
should be focused on making protocols easier to write, instead.

Paul