foldMap :: (Monoid m, Foldable t) => (a -> m) -> ta ->m
第2引数が第1引数の入力になるという理解で正しい？
意味的にはf(ta) -> mなの？