Product package:opaleye

This is not safe in general because it relies on p not doing anything observable with the as if mfPresent is false. In particular, it won't work for Distinctspec because it does indeed look at the mfFields to check distinctness.