> [...] and nothing is stopping us from writing pure functions now, I do it all the time.

One point of generics is that you have to write your pure functions less often..