A type signature of the form
bar :: ( ) => a-> Bool
generates annotations for the ( ) => but the SrcSpan they are attached
to is discarded so the annotations are not attached to the AST.
The discarding process happens in
mkHsForAllTy exp tvs (L _ ) ty = mk_forall_ty exp tvs ty
where the empty located context is discarded.