Отличная понятная статья про алгебраические типы данных. Для тех, кто думал, что ADT - это какая-то бесполезная заумь из теории типов, сколько-то интересная только программистам на Haskell и прочим упоротым функциональщикам.