The library is unstable and the quick start remains todo, for now there are just a few examples and a generic function template for processing type gists.
Describing your types
TODO
Show simple examples of each structures. Make it principled, define first the contructor, then the projector, then the dimensions etc.
Show how to write recursion properly
Show how to use metadata with Typegist.Fun.Generic.pp or to specify the range of scalars (e.g. for random generation)
Show how to hide GADT witnesses.
Notes on polymorphism and first-order kind.
Processing the description
TODO
Devise something consuming values
Show how to create and process metadata
Devise something producing values (e.g. deriving a Cmdliner term)