Smallcheck  is another testing framework for Haskell, that generates an exhaustive combination of values for properties. It may be possible to integrate this exhaustive generation with FsCheck. For example, it could be used to generate the "smallest"
value for which a property fails, by first testing randomly and moving to exhaustive testing if a test fails. And it may be useful for some niche scenarios where the number of combinations is very small anyway.