Either<A, A> を考えればそんな気もしてきました。