All interfaces are pure and types are referentially transparent. Schemas are type safe and derived at compile time.
No need to manually define a schema for every type in your API. Let the compiler do the boring work.
Out-of-the-box support for major HTTP server libraries, effect types, Json libraries and more.