:: [[a]] -> [[a]] package:fuzzcheck