`equiv` is no longer type class opaque.

1 job for ci/robbert/tc_opaque in 6 minutes and 15 seconds
latest
Status Job ID Name Coverage
  Build
passed #29959
fp-timing
build-iris.dev

00:06:15