а я всегда говорил, что монадки (и, в более общем варианте, хкт и тс-ы) это абстракция мощнее, чем CPS, потому что позволяют абстрагировать не только выполнение (с эффектами или без), но и преобразования данных
А я всегда говорил, что несмотря на то, что for-comprehensionы в питоне мощнее map и filter, первые сосут, так как вторые более специализированы.