Потоки и монады

Есть ли разница между потоками (, ленивыми списками )и монадами? С концептуальной и математической точек зрения, а не с технической реализации.

Или же существует biunique, одно соответствие между -и -?

Точнее, потоки означают «четные потоки» из SRFI -41 языка Scheme.

Является ли это другой категорией, чем монады? Если да, то какая это категория?

Могут ли «четные потоки» гарантировать контроль над побочными эффектами, как монады?