Nadia Polikarpova at UC San Diego is doing some interesting work in this space.
Skipping to about 42:40 in the video Nadia discusses an evaluation with a range of skills using Hoogle+ and how the usage trends from concrete examples to mostly type level specification.
https://www.youtube.com/watch?v=ZPyVcnCabIU