If you look at each as languages for staging computations, what you stage with macros happens before "normal" computation, so likely happens at compile time, wh

If you look at each as languages for staging computations, what you stage with macros happens before "normal" computation, so likely happens at compile time, while what you stage with monads happens after, so must be deferred to run time.