My question is related to one of the code snippets from Property-based testing (chapter 8) in the book FP in scala.
specifically the forall function definition for SG
