itarticle polymorphic functional programmingpolymorphic functional programming System F (Girard|Reynolds) Polymorphism Existential Type 0