error monad

Is Maybe A Monad? Well, it’s a monad constructor. Is map a monad? bind (or flatMap ) and unit (the constructor) are all it takes to be considered a monad. From those two, we can also build map . map lets us transform the wrapped object without having to rewrap it ourselves at the end