What if we could check declarative macros before using them? - View it on GitHub