Bucklescript interfaces and implementations for category theory and abstract algebra - View it on GitHub