今手元にないけど、7章くらいのファンクタの説明ですでに出てきてるはず