A bit more on a polymorphic function