https://kind.cs.uiowa.edu/docs/main/user/inputs-and-outputs/algebraic-datatypes/
Algebraic Datatypes – Kind 2 User Documentation
Kind 2 supports algebraic datatypes (ADTs). An ADT packages together a fixed set of constructors, each of which may carry zero or more named fields....
algebraic datatypesuser documentationkind