Types: Catch invariant breakage