Make it possible to describe fields/constructors of ADTs in autodoc
Clarification and motivation
Description of a type in autodoc contains:
- Its Haskell structure which is the same as the corresponding Haskell definition, but written in a different format.
- Final Michelson representation – boring and quite unreadable (but still should be there).
- Manually written arbitrary text.
Sometimes the meaning of each field/constructor is obvious from its name, but sometimes it's not, there can be some details that need to be clarified. Currently the only way to do it is to write about it in the "arbitrary text" part, but it is a bit error-prone because there are no guarantees that this manually written text will be in sync with the data type.
Acceptance criteria
There should be an easy way to document each field/constructor of a data type in its TypeHasDoc
instance. It should ensure that only existing fields/constructors are documented. I think we shouldn't require documentation for literally every field because often some of them are obvious.