fix: remove superfluous Monad instances from some spec lemmas (#10564)
#13719
This job was skipped
Loading
Monad instances from some spec lemmas (#10564)
#13719