Building on the foundation of the Identity Decider from Part 1, I first introduce some notation to make a monadic computation look more like a `let`. Then I explain the Maybe monad and what it tells us about how monads are meant to be used. Finally, I show what the Sequence monad does as a teaser for Part 3.

j vimeo.com/20798376

Loading more stuff…

Hmm…it looks like things are taking a while to load. Try again?

Loading videos…