It seems like the lazy system keeps getting more complicated, not less. Are we likely to need more overloads and types like this in the future? Have we evaluated an approach where we try to reduce the number of types and overloads by, for instance, treating filter as sugar for compactMap?
If these sorts of options have been evaluated and found wanting, I think this proposal is a good one; I just want to make sure we’re not needlessly missing out on a cleaner design.