Post

Surprisingly, it turns out CGP already supports fully monadic computation in Rust! It is just that the CGP monads are in the form `a -> m b` instead of the usual `m a`.

9/7/25, 10:47 pm0 reposts0 likes

Soares Chen

@maybevoid.com

9 July 2025

Also, the composition operator for CGP monads is not (>>=) or (>>), but rather it is just pipe (|) :: (a -> m b) -> (b -> m c) -> (a -> m c). Despite that, pipe is probably much as powerful as bind, just with different syntax.

Soares Chen

@maybevoid.com

9 July 2025

Actually, the monadic form in CGP is more than just (a -> m b) - it is more like (Ctx => a -> m b). That makes it much more powerful and practical for monadic computation, because we can do dependency injection with the implicit constraints!

Soares Chen

@maybevoid.com

9 July 2025

CGP also has the lift operator, called `Promote`, to lift the `m` in `(Ctx => a -> m b)`. With that, you can probably see how we can support everything essential about monads with CGP in Rust!