In reply to @pmunch "The macro must return": Well you are kind of softlocked
here
You can't take a `typed` argument because the type is not yet defined.
And you can't recursively calculate the size of the field because you use
`untyped` arguments

Why do you need it specifically ? Is the syntax mandatory ?