RE: Annotations and Template Haskell