Polymorphic lab_2