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