Реализация представителей стандартных классов типов. Классы типов Show и Read. Реализация эндоморфизмов и типа Maybe как моноидов. Использование сверток.
Show
Read
Maybe