Enum union type and "Kind" pattern in recursive types

[dlesnoff2]

In general, we rather use distinct types to constrain existing types (forcing 
us to reimplement all the "object's methods"). To my knowledge's extent, 
constraints are only a specification for procedures on the kind of types they 
can accept as arguments but does not constrain object instances themselves 
outside of procedures.