provides Optional instance for LazyEither