Maybe a Just a Nothing The conceptual issue is that the center of gravity moved from `a`, where our imperative programs would have it. Now, much of the logi

Maybe a Just a Nothing The conceptual issue is that the center of gravity moved from `a`, where our imperative programs would have it. Now, much of the logic has transitioned over to Maybe, Just, and Nothing. The profound effect is that `a` matters less. "Where is the `a`?" the procedural programmer wants to know. "Meh. Have this monad and let the runtime execution of the code kiss your `a` on an as-needed basis," says Haskell.