So in this case the connection to algebraic data types is that they provide static type checking for unions as well as structs in C along with type introspectio

So in this case the connection to algebraic data types is that they provide static type checking for unions as well as structs in C along with type introspection which is novel. The linked article explaining the whys and wherefores of ADTs (https://codewords.recurse.com/issues/three/algebra-and-calculus-of-algebraic-data-types https://codewords.recurse.com/issues/three/algebra-and-calcu...) has hit the front page of HN twice now!