LeanProps provides a way to list allmost all possible values in respect to a type. For example, you can use Listable.list[Int] to get all possible Int values, then you can observe how a property works aginst first N-elements of these values. Of course, it is too low-level and LeanProps provides high-level APIs for daily use.

LeanProps also provides inspect function. inspect works as like Ruby's one or Haskell's show: it shows a string representation of a value. In addition, LeanProps inspect can show a function with its extension, powered by Listable.