dropAnnotation
This relies on some fairly intricate `generics-sop` code, which we might be able to upstream. See https://github.com/well-typed/generics-sop/issues/163 .