Post #1249907

@mergesort I think you'll find that's exactly what this handles? Except you define optionality with true optionals, and the init extensions use Never to express optional slots instead of EmptyView (something I never thought of until Claude suggested it). I suggest reading the readme, I don't know if my snippet fully captures the functionality. Curious if you still think this doesn't solve your use case.