Commit 2024-05-26 16:34 fd3fee64

chore: redefine Filter.curry in terms of Filter.bind (#13044) This is not super helpful in itself, but I think 1) it makes the definition a bit more natural and 2) it can probably help to make some proofs more efficient and intuitive here and there.