Added another Structural Type use-case to Types examples