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