Виды видов: Погружение в систему киндов (Kinds) языка Haskell

Введение в мир мета-типов Когда вы пишете сложную бизнес-логику и в сотый раз ловите баг из-за того, что в стейт передали не ту сущность, поневоле начинаешь завидовать языкам с безумной статической т…