I finally found a good way to learn using property-based tests · PitHub