this is a good read https://fsharpforfunandprofit.com/posts/property-based-testi...