fast-check Wiki - Alonso-pixel