function types are structural in most nominally-typed languages I have used, perhaps a poor example?
For example, although Java method definitions are essentially defined in terms of tuples, function classes and objects in Java are all entirely nominal.