Making the representations for a basic polymorphic function