Case studies

• The optics library — [test-data/poc/optics/](../test-data/poc/optics/): lenses, prisms, and isos as function pairs, the spine palette and match! in use, an operator DSL, and every equiv law.
• Higher-kinded types — [test-data/poc/hkt/](../test-data/poc/hkt/): kinded brands, first-class instance dictionaries, do! pipelines over an abstract type constructor, and a derive! instance pick.
• The elaborator library — [test-data/poc/elab/](../test-data/poc/elab/): the source-to-target coercion palettes (algebraic and spine), match!, derive!, and the reflected-type vocabulary, documented per form with their equiv laws.
• Dynamic loading — [test-data/poc/dyn_load_prime/](../test-data/poc/dyn_load_prime/): a host loads a pre-compiled package from its emitted Kio' image at runtime, contract-matches it, and calls its exports through a universal existential surface.