Comment by basman

Your type checker catches array indexing bugs? Impressive.