text about generating polymorphic functions
elaborate uses discussion and write inital text about generate