こういうのを見るたびに、Template Haskellがもっと使い易い構文だったらと思うよ。
こういうちょっとしたマクロの需要は確かにあるはすだけど、
いちいち$(testConstr [| Hoge |])なんて書いてたら冗長過ぎて略記法にならない。