あと汎関数は量を返す物をいうはず。
だから合成関数は汎関数でなく、高階関数。