Monads and Category Theory ① When Functions Do Not ComposeStarting with a type mismatch between functions that return Option, we explore how branching, map, join, and bind express the same computation.
