started adding polymorphism (subtyping)