練習問題 4.3.5

inits
はリストの先頭部分リストを計算する関数であり，その型は 
inits :: [a] -> [[a]]
である． 
inits
の自然性条件はどのようなものか． 





map (map f) . inits = inits . map f