TyCon should include fixity, etc.
Motivation
When using Type.Reflection
, the base case is TyCon
, which gives info about a type constructor. Unfortunately, it's not really enough information to display expressions properly or provide full details.
Proposal
It would be nice to get
- Fixity.
- Is this a
Nat
, and if so whatNatural
does it represent? - Is this a
Symbol
, and if so whatString
(orText
?) does it represent? - Is this a promoted datacon, and if so, what is the name of the underlying constructor?