Structural subtyping

Summary