Actually wouldn't it be

    int[][int] whatever;

? Because I think we should be getting an array out whenever we do

    whatever[1]

and not just an int.