A small C++17 library inspired by Category Theory.
