typed_use_cases 0.1.0

Formalize use cases at the type level. Zero runtime overhead. Experimental proof-of-concept.
Documentation