@0376c6e8 @59893ad8  Also: “since handling static information (such as types) is also a necessary part of growing macros beyond Lisp, Rhombus includes support in its expansion protocol for communicating static information among bindings and expressions”.

Reminds me of Turnstile, which does a great job of using macros to express static type info:
https://docs.racket-lang.org/turnstile/