Monad

yes ~ one perspective is "a monad is an monoid in the (...) category of endofunctors"; the other perspective is "a monad is a kleisli category"

by Garlef · Oct 21, 2026

You can use the ST monad

by vatsachak · Oct 20, 2026

I find it easier to think of them as transforms which turn "a function which accepts/returns plain values" into a "function which accepts and returns a type which embeds pl…

by sparkie · Oct 19, 2026

Exactly. Functor to Applicative to Monad is the order that I remember from Learn You a Haskell and it made sense back then.

by keybored · Oct 19, 2026

What also makes the monad more interesting than just composition or flattening is that when executing the ordered computation, you can decide next computations based on previous…

by mlazos · Oct 19, 2026

You’re going to write a monad and alternative instance for whatever structure you use. A list is a Cartesian product, but that’s just the join of parser B over each remaining in…

by codebje · Oct 18, 2026