Rats - A Category Theory Library for Rust

Yeah, things have been slow on my end. With the imminent stabilization of GATs (Generic Associated Types) on Rust (read more here) a way around the the lack of HKTs (Higher Kinded Types) on Rust is being introduced. This is just a bunch of fancy word...