Once https://github.com/Liqwid-Labs/plutus-extra/pull/192 is merged or `plutus-extra` otherwise updated. See PR #37.
Once Liqwid-Labs/plutus-extra#192 is merged or
plutus-extraotherwise updated. See PR #37.