リストのリストを引数にとって、連結する関数を定義します。
例えば、
[[1,2,3],[4],[5,6,7]]なるリストを与えたとき、[1,2,3,4,5,6,7]なるリストを返す関数
を定義
例によって、再帰的な定義...。
再帰定義によるリストのリストの連結定義
cat_recursive::[[a]] -> [a]
cat_recursive [] = []
cat_recursive (x:xs) = x ++ cat_recursive xs