add Either monad example