Rarrow
Rarrow is a category theory library in Rust that simulates higher kinded types with associated types using the Plug/Unplug method shown here.
TODO
- Implement all instances for standard types like Vector, Either, etc
- Implement instances for library types like im data structures
- Implement lenses
- Implement IO monad