Overview of Typanion runtime validation
Typanion is a library designed for runtime data validation that integrates directly with the type system. It uses a set of composable operators to describe data structures, from which it automatically derives both validation protocols and type hints.