foreign decls: use wlkHsSigType, not wlkHsType, since the tysig may have implicitly quantified tyvars.