"))(11,(3,"EOS"))長さとそれ自身がタプルの形で出力されています。zipは2つのリストの要素をペア(タプル)にしてくっつける(zip)高階関数です。b)]下手に日本語で表現するよりも式で見たほうが速いですね。この辺りもHaskellのいいところです。型を見るだけでその関数で何が出来るかがある程度推測できます。上の例だとlens(長さのリスト)とss(文字列のリスト)をペアにしています。mapの型mapに戻ります。例のごとく型を見てみましょう。[b]第一引数は関数(a型の値をb型の値に変換する)、第二引数はリスト(a型)、で出力結果がリスト(b型)になっています。型をみるだけである程度予測できそうですね。関数の差し替え次に、lengthでなくdivideAtTabをmapしてみます。divided(0,("今日","名詞,副詞可能,*,*,*,*,今日,キョウ,キョー"))(1,("は","助詞,係助詞,*,*,*,*,は,ハ,ワ"))(2,("map","名詞,固有名詞,組織,*,*,*,*"))(3,("関数","名詞,一般,*,*,*,*,関数,カンスウ,カンスー"))(4,("を","助詞,格助詞,一般,*,*,*,を,ヲ,ヲ"))(5,("勉強","名詞,サ変接続,*,*,*,*,勉強,ベンキョウ,ベンキョー"))(6,("し","動詞,自立,*,*,サ変・スル,連用形,する,シ,シ"))(7,("て","助詞,接続助詞,*,*,*,*,て,テ,テ"))(8,("いき","動詞,非自立,*,*,五段・カ行促音便,連用形,いく,イキ,イキ"))(9,("ます","助動詞,*,*,*,特殊・マス,基本形,ます,マス,マス"))(10,("。","記号,句点,*,*,*,*,。