[alexcole]

I think that Flow’s approach of using nominal types for classes and structural for everything else makes more sense. Are there really cases you expect classes to be structural types?

[jolux]

Objects in OCaml are all structurally typed.