Typelevel http service definition DSL
Model complex data transformation pipelines easily
Type calculations at compile time
Introduces macro/meta annotations @ aux, @ self, @ instance, @ apply, @ ...