Nominal and Structural Subtyping in Pony | Dark Hacker News