Very interesting article. Minor nit (just a typo I think): in the definition of flatMapError, shouldn't mapError be fmapError?