Nominal and Structural Subtyping in Pony
tutorial.ponylang.io