arraylit type inference