Great post on using Quickcheck on new Erlang features: https://medium.com/@jlouis666/breaking-erlang-maps-1-31952b8729e6 Impressive that Quickcheck found 2^31-1 as a counterexample!