Preview fragment. Get full access
Type-Level Design. A Systemic View of Design and Architecture