One of generator

genOneOf() exposing one element from a finite domain represented as an array