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