Rarrow
======

Rarrow is a category theory library in Rust that simulates higher kinded types with associated
types using the Plug/Unplug method shown [here](https://gist.github.com/edmundsmith/855fcf0cb35dd467c29a9350481f0ecf).

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