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)