配列や構造体もモナドにしたら?