IndSeqArbitrary
IndSeq instances test