On Fri, Aug 14, 2020, 7:39 PM Caleb Donovick
# with some abuse of notation obviously these would generate unique types
assert T == Struct[x=int, y=str]
I don't see what that can possible get you that `Struct(x=int, y=str)` doesn't.
I'm +0 on the idea, but I don't think "square brackets look nicer" is sufficient reason for a change.