The top documents tagged [types type providers]