Update influence list

cc. @steveklabnik 
Maybe:

~~~
* Haskell: typeclasses, type families, rank-n polymorphism (for lifetimes)
~~~