がくぞさんの言ってるのは、 g() -> Either<A, E> と f() -> Either<A, E> に対して、 gとfを合成して述べてるような関数を作る高階関数hを構成できることを言ってるのかな？