Fwiw I have trouble following the documentation here. Suggestions for how it could be clearer: * You show what `mkCollection` expands to in the readme, put that in the module-level docs too. * What does `mkIndices` expand to? (I think `indices :: Collection Things; indices = Collection { this = This, that = That, ... }`?) What’s it useful for? * What are the type signatures of the generated `distribute`, `index` and `tabulate` functions? * For `mkDistribute`, the generated html for `distribute` writes `$` instead of `<$>`.

Fwiw I have trouble following the documentation here. Suggestions for how it could be clearer: * You show what `mkCollection` expands to in the readme, put that in the module-level docs too. * What does `mkIndices` expand to? (I think `indices :: Collection Things; indices = Collection { this = This, that = That, ... }`?) What’s it useful for? * What are the type signatures of the generated `distribute`, `index` and `tabulate` functions? * For `mkDistribute`, the generated html for `distribute` writes `$` instead of `<$>`.

Fwiw I have trouble following the documentation here. Suggestions for how it could be clearer: * You show what `mkCollection` expands to in the readme, put that in the module-level docs too. * What does `mkIndices` expand to? (I think `indices :: Collection Things; indices = Collection { this = This, that = That, ... }`?) What’s it useful for? * What are the type signatures of the generated `distribute`, `index` and `tabulate` functions? * For `mkDistribute`, the generated html for `distribute` writes `$` instead of `<$>`.

Fwiw I have trouble following the documentation here. Suggestions for how it could be clearer: * You show what `mkCollection` expands to in the readme, put that in the module-level docs too. * What does `mkIndices` expand to? (I think `indices :: Collection Things; indices = Collection { this = This, that = That, ... }`?) What’s it useful for? * What are the type signatures of the generated `distribute`, `index` and `tabulate` functions? * For `mkDistribute`, the generated html for `distribute` writes `$` instead of `<$>`.

Fwiw I have trouble following the documentation here. Suggestions for how it could be clearer: * You show what `mkCollection` expands to in the readme, put that in the module-level docs too. * What does `mkIndices` expand to? (I think `indices :: Collection Things; indices = Collection { this = This, that = That, ... }`?) What’s it useful for? * What are the type signatures of the generated `distribute`, `index` and `tabulate` functions? * For `mkDistribute`, the generated html for `distribute` writes `$` instead of `<$>`.

Fwiw I have trouble following the documentation here. Suggestions for how it could be clearer: * You show what `mkCollection` expands to in the readme, put that in the module-level docs too. * What does `mkIndices` expand to? (I think `indices :: Collection Things; indices = Collection { this = This, that = That, ... }`?) What’s it useful for? * What are the type signatures of the generated `distribute`, `index` and `tabulate` functions? * For `mkDistribute`, the generated html for `distribute` writes `$` instead of `<$>`.

Fwiw I have trouble following the documentation here. Suggestions for how it could be clearer: * You show what `mkCollection` expands to in the readme, put that in the module-level docs too. * What does `mkIndices` expand to? (I think `indices :: Collection Things; indices = Collection { this = This, that = That, ... }`?) What’s it useful for? * What are the type signatures of the generated `distribute`, `index` and `tabulate` functions? * For `mkDistribute`, the generated html for `distribute` writes `$` instead of `<$>`.