fixup to (unused)

Hole/Inferred/HoleActions don't need to be parameterized on annotation type, because annotation type will be forall'd in the holeResult maker
MkHoleResult newtype