Comment by rocqua

I'm probably wrong here, but I wonder. Why go outside the haskell type system, but still use haskell.

As I see it, haskell is all about the type system, and macros are all about circumventing the limits of the type system. These things seem at odds.

I have to admit I have no idea what racket is, nor did I do much more than scan the article.