Catching Polymorphic Type By Value