[kevinventullo]

For people who are more familiar with C++ than category theory, yes.