Posts

• Staring at ($), (<$>), (<*>) and (>>=)

  Differences and similarities between function application, Functor's `fmap`, Applicative Functor's sequential application and Monad's `bind`

• Why Monad Composes Operations Sequentially

  A deeper look at Monad's bind (i.e. >>=) to understand why the type signature implies sequential composition

• Merging IO and Either into one monad

  How to simplify code by merging two monads into one

• Functors Compose, Monads Do Not

  The title says it all 😅