TypeTags, docs, no unnecessary reflective compilation.