I believe there’s a much larger thread where lots of these ideas are being discussed: Relative scoping for hierarchical ADT arguments
7 Likes
I believe there’s a much larger thread where lots of these ideas are being discussed: Relative scoping for hierarchical ADT arguments