an interesting blog post on structural vs. nominal typing juxtaposition, it belongs to this channel: https://lexi-lambda.github.io/blog/2020/01/19/no-dynamic-type-systems-are-not-inherently-more-open/