As Lisp macros are compile time metaprogramming, wouldn't the answer to this depend on whether Template Haskell is considered part of Haskell or just a compiler extension?
Actually they're macro expansion time meta programming. Common Lisp also has compiler macros, which are slightly different (in addition to regular macros).
Lisps generally run in an image, meaning you have full access to he full state of the program including the compiler/macro expander/etc, which you can run at runtime.
So what about a program that reads a protocol off the wire, expands/compiles it to x86_64 assembly, and communicates over the wire with it (all in the same process and without calling any external compiler).
Or maybe a program that collects runtime performance statistics and uses some stochastic method to improve the 'hot' pieces of code.
