Abstract data structures library based on category theory implemented in F# for use in C++.