Simple refinement types for Rust – parse, don't validate | Hacker News Reader