Polymorphic Functions In Compiler Design