Structural typing is great. It's the verified version of duck typing.
You can even get nominal typing with branded types if you need it. (Like for the newtype pattern)
alt Hacker News
You can even get nominal typing with branded types if you need it. (Like for the newtype pattern)