Each class/module name is the type of property tested. Of course this is not exhaustive.
Examples are provided in Java and Haskell. Most examples are the same in both languages, except "analogous": Vavr doesn’t (need to) exist in Haskell, Lenses are a PITA to use in Java. The idea of refactoring remains though.