Use that in place of the old encoding:
iris/stdpp#70 (comment 52817)

Requires dropping support for Coq 8.7.