OK, but if this simplification happens in the `Integral` constructor, you avoid this inconsistency (iff this simplification should happen at all).