Annotations should not distinguish type and value
HsDecls we have
data AnnDecl name = HsAnnotation (AnnProvenance name) (Located (HsExpr name)) data AnnProvenance name = ValueAnnProvenance name | TypeAnnProvenance name | ModuleAnnProvenance
And there's now a similar 3-way distinction in Template Haskell
data AnnTarget = ModuleAnnotation | TypeAnnotation Name | ValueAnnotation Name
But there's really no need to distinguish between
ValueAnnProvenance (and similarly in the TH vesrion) because the namespace on the
Name makes that distinction. So the current story is redundant, and hence has silly case where you have a
ValueAnnProvenance on a type constructor.
Better to collapse the two. I'm making this a ticket so that people can comment. I hope that Gergely may be able to do it as part of his TH/annotation work.