Надо чтоль про фримонады что-нибудь сказать
Освободи свои монады,
Возьми эффекты под контроль!
Ты хаскелист, а оным надо
Чтоб компилятор снизил боль
От этих ваших бизнес-логик
И эскуэлей, ямла тьмы.
Без типов жизнь — не жизнь, о боги!
Лишь типами спасёмся мы!