--- Day changed Sat Oct 13 2018 21:46 < andytoshi> TIL about https://crates.io/crates/proptest