関数の合成ってモノイド?