![](https://habrastorage.org/r/w1560/getpro/habr/upload_files/9fd/694/7f9/9fd6947f9e45ea48d968de46412704ac.png)
В последней третьей части обзора продемонстрировано, как на основе обобщённых типов-контейнеров реализуются различные ФП-техники “чистого” построения “эффективных” программ. В заключении будет отмечена роль теории категорий в обосновании важности абстракций, построенных над обобщёнными типами.