Ex 8.4: Gen.choose + some leftover