Имам свойство, което приема списък от низове: myProp :: [String] -> Bool Трябва да огранича входовете, които QuickCheck генерира, така че в списъка да има само непразни низове. Как мога да направя това?

Имам нужда от някои предложения за това как мога да създам произволен генератор за типа данни Foo, така че списъкът с Boo никога да не е празен? data Boo = Boo Float Float Float data Foo = Foo Float Float Float [Boo]