練習問題 4.3.2

map f ⊥
の値はどうなるか．map ⊥ []の値はどうなるか． 





    map f ⊥
=       { 場合の枯渇 }
    ⊥  


    map ⊥ []
=       { mapの定義 }
    []