Great. We'd need some links and expanded documentation and examples. (One simple reference would be e.g. http://en.wikipedia.org/wiki/Structural_type_system).