Refined: simple refinement types for Rust

An alpha library for refinement types with rich support for serde