任意の構造をモナドと見做してmapしたい感じですかね