[teaearlgraycold]

Structural typing is great. It's the verified version of duck typing.

[LelouBil]

You can even get nominal typing with branded types if you need it. (Like for the newtype pattern)