Check out our white paper, “Category Theory Based Programming Language”