Testing structural subtyping