nostr:npub1qdmvd6xtmfm6w0f7rnqkkq2477q8uxpq345p55vu8emf8zmqsytsagf00z nostr:npub1txyn4k9v6eje9d3tz4ldm7k4vx29zdd4psp4c4zza3rthqjlvzwqgf3p3c  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/