Introduce code example for error monad