indSeqInstance
IndSeqArbitrary
IndSeq instances test