Lib.rs

类型相关

主要与 GAT 相关的类型技巧。这里包含 Functors 和 Monads。