Creates a new instance of P after merging the values of other.
In case of conflict, other takes precedence.