I have no criticism of it, it just feels like a different evolutionary path versus my journey to as-pure-as-reasonable FP.

Most metaprogramming can probably be described as somewhat bonkers!

Yeah, ADL says hello. Basically dynamic scoped variables from Clipper/Lisp/Perl, with types into the mix.