Simplify types.forall with util.pair