Demystifying monads in Rust through property-based testing / hacker news