Adding example with constructor and subtyping