Data.Diverse.TypeLevel: exported symbols usage examples

Symbols