A ReasonML/Ocaml library for category theory and abstract algebra - View it on GitHub