Club polymorphism

This note is a characterisation of two-dimensional schematic polymorphic
free Lawere theories. Algebraic data types are an instance of this mathematical 
structure.