cratic-type-level (cargo): Cratic = Cursor + Attic at the top of crate, zero cost abstraction library, this is type-level cratic
Keywords: category-theory|free-monads|hkt|rust|webassembly|zero-cost