You searched for structural type system