How do I make the types of my struct fields related to each other?

I want to say something like this: (struct TwoLists (All (a) [one : (Listof a)] [two : (Listof a)]))

but that’s not valid typed racket code

Never mind, found it, it’s maybe-type-vars