Advanced Middleware Composition with Higher-Order Types

Design a type-safe middleware composition system in TypeScript that allows dynamic middleware chaining with comprehensive type inference and compile-time guarantees. Create a generic middleware pipeline that supports context propagation, error handling, and intelligent type transformations between middleware layers. Implement advanced features like middleware prioritization, conditional execution, and automatic dependency resolution. The solution should work across different application architectures with minimal performance overhead.