Ok ok ok, at least the paper authors and I agree that traits for equality and ordering shouldn’t be generic over effects. Phew, haha.