V>что синтаксис выглядит абсолютно понятным и интуитивным, и к тому же компилируется даже без ворнинга.
Можно даже придумать такие типы, что будет и работать как надо , с перегрузкой оператора 'запятая'. Только специальный тип для индекса придется вводить.