Исправление dizza, 09.03.15 10:51 (текущая версия) :
Насчет проверок согласен, я бы хотел там зависимые типы видеть.
Исходная версия dizza, 09.03.15 10:49:
Насчет проверок согласен, я бы хотел тым зависимые типы видеть.