For many application-level distributed protocols and parallel algorithms. the set of participants. the number of messages or the interaction structure are only known at run-time. This paper proposes a dependent type theory for multiparty sessions which can statically guarantee type-safe. https://www.jmannino.com/mega-pick-NFL-San-Francisco-49ers-Zone-Block-iPhone-14-Pro-MagSafe-Case-p80213-quick-pick/