类型安全的组件设计

用字面量联合与可辨识联合表达组件契约,用泛型让回调类型跟随数据,让非法参数组合在编译期暴露。