Structural subtyping