`type data` `data` reification

[olf]

Does the TypeData extension make the reflection package superfluous? See this question. That is, does it become easier to get our hands on functions with types like

Proxy 'True -> Bool