Hello, I found that in GHC.List, drop is defined so that drop (-1) ls = [], which probably is a typing-error, since it disobeys the splitAt n ls == (take n ls, drop n ls) rule. I suggest changing that in future releases. Regards, Daniel Fischer