Show HN: Katharos Functional programming and CSP-style concurrency for Python

Katharos is a Python library that combines functional programming abstractions (Functor, Applicative, Monad, etc.) with CSP-style message-passing concurrency, allowing developers to model errors, effects, and concurrent communication as composable, type-safe values. The library provides concrete types like Maybe, Result, and ImmutableList, enabling cleaner code patterns—such as handling optional values without None checks and treating errors as values rather than exceptions that must be caught. It can be installed via pip or uv and supports do-notation syntax for readable, clean error handling chains.