concat (map g (f x)) = (f x) >>= return
あとは (f x) >>= return = f x の証明
リストがモナドであることの証明を探してコピペする