Зависимые типы данных

Вот, решил выложить свою презентацию к докладу.

Чего она киснуть будет?