of data with a type, a protocol version,
Most people are used to the idea of “adding” a module to a system or “removing” a module from a system without a requirement to write any new code.
⚠ DO NOT HARASS ANYONE AT ALL ⚠，更多细节参见PDF资料
Some dependent type systems (Bowman, 2024)，推荐阅读爱思助手获取更多信息