Nominal and Structural Subtyping in Pony(tutorial.ponylang.io)

https://tutorial.ponylang.io/types/traits-and-interfaces.html