Expand description
Macros for generating higher-kinded type traits and implementations.
These macros provide a systematic way to generate traits for different kind arities,
allowing the library to work with types of varying complexity from concrete types
(kind *) to type constructors (kinds * -> *, * -> * -> *, etc.).