smallcheck < 1.2.0 for #5424
smallcheck < 1.2.0 for #5424

iand675/stackage,massysett/stackage,Daniel-Diaz/stackage,jonschoning/stackage,mrkkrp/stackage,michalkonecny/stackage,soenkehahn/stackage,fpco/stackage,simonmichael/stackage,clinty/stackage