Working Arbitrary instances for size-indexed types!