Comment by verroq

Isn't this just an algebraic data structure?