В некоторых случаях определение типа или отдельных дихотомий является большой проблемой.

А в некоторых - смотришь на творчество и все вопросы отпадают. Так все выпукло и ярко.

Вычитал в инете интересный отчет: "Как я участвовал в ICFPC-2006"

Мое мнение такое: Если Вам это доступно, то  Вы - логический интуит.