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