Comment by hath995

The last soundness issue I'm aware of is the bivariant function issue which they resolved in 2.6