I have hopes that this is being worked at since for example (Pitch: User-defined tuple conformances) depends on same-element requirements. Its a really powerful feature so I'm really looking forward to it.
1 Like