Fix sequence type derivation in the presence of negation types.