Ask HN: Lisp-like macros in a statically typed functional programming language

Is it possible to have LISP-like macros in a statically typed functional PL like Haskell?

Haskell is very powerful, primarily owing to its advanced type system. LISP is well-known for it's macros.

Is there any way to combine these two?