I forgot about OCaml (since I normally associate it with the more sophisticated typing stuff). I don't know if I'd completely count Go since interfaces only apply to methods, not fields
I was thinking of how you can embed types in structs. You automatically dereference the fields and methods of the components directly from the outside.