It's an abstraction - a very high level abstraction. Like all abstractions, if you squint hard enough, different things can look the same. Monads can make opti

It's an abstraction - a very high level abstraction. Like all abstractions, if you squint hard enough, different things can look the same. Monads can make optionals, lists, error handling, i/o, continuations, state manipulation, reading values, writing values and many other things look the same.