Commit 2023-12-22 08:43 a2edc39f
View on Github →chore(Order/Filter/NAry): drop Filter.map₃ (#9182)
It was used only once to prove associativity of Filter.map₂.
chore(Order/Filter/NAry): drop Filter.map₃ (#9182)
It was used only once to prove associativity of Filter.map₂.