New posts in monads

If return a = return b then does a=b?

haskell monads semantics equality equational-reasoning

RxJava - fetch every item on the list

java monads reactive-programming rx-java

Details in applying the Barr-Beck monadicity theorem to Tannakian reconstruction

algebraic-geometry category-theory monoidal-categories monads

Haskell - depth for each node in binary tree using Reader monad

haskell monads reader-monad

ST Monad == code smell?

haskell state monads state-monad

Do adjoint functors really define monads?

abstract-algebra category-theory monads

How to return a pure value from a impure method

haskell monads functor

Is Haskell's mapM not lazy?

haskell monads lazy-evaluation

Why monads? How does it resolve side-effects?

Do equivalence relations form a monadic category? [closed]

category-theory monads

How do I do logging in Haskell?

logging haskell monads

How to handle side effect with Applicative?

haskell monads applicative

How to enumerate a recursive datatype in Haskell?

haskell functional-programming grammar monads

Simple examples to illustrate Category, Monoid and Monad?

haskell monads category-theory monoids

What is a monad in FP, in categorical terms?

haskell functional-programming monads category-theory

Simplest non-trivial monad transformer example for "dummies", IO+Maybe

haskell monads monad-transformers

Creative uses of monads

In what sense is the IO Monad pure?

haskell io monads

Avoiding lift with monad transformers

haskell monads monad-transformers

Why should Applicative be a superclass of Monad?

haskell monads applicative fam-proposal