リスト操作 takeとdropの第2引数は空リストでも良いらしい。 Prelude> take 3 [] [] Prelude> drop 3 [] [] なので、headとtake 1 とtailとdrop 1 は違う。 Prelude> head [] *** Exception: Prelude.head: empty list Prelude> take 1 [] [] Prelude> tail …