Ah, I didn't realize that core.typed could deal with rich data structures like that. That's actually pretty amazing.