m »＝f＝concat(map f m)