On Fri, Aug 14, 2020, 7:39 PM Caleb Donovick 
class T(Protocol):
    x: int
    y: str

# 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.