makes sense - was thinking of e.g.

Payload

as a mapping, but yeah can do that entirely with type checks