Description
Generic programming API for large-records and large-anon.
Description
The large-generics package offers a style of generic programming inspired by generics-sop, but optimized for compilation time. For more information, see the blog posts "Avoiding quadratic core code size with large records" https://well-typed.com/blog/2021/08/large-records/.