Testing, Erlang, Elixir, Quickcheck.
Testing that much. Don’t skim over that chapter in the book. When working with opaque data structures, the book simplifies a bunch of concepts (for instance, it generates objects of a type by building maps which is wrong since PropER should not know how that type is represented inside the module).