The top documents tagged [good compiletime type]