Efficient Implementation of Parametric Polymorphism using Reified Types