Shouldn't List.tail just return an empty list when there is no tail?

[abread]

List.tail returns the whole list excluding the first element. This is equivalent to List.drop 1, but using tail on an empty list (or a list with 1 element) we get Nothing, and with drop we get an empty list.

I believe that List.tail should return an empty list instead of Nothing, to be more consistent with List.drop and to make code that manipulates the first element on the list easier to write.

[process-bot]

Thanks for the issue! Make sure it satisfies this checklist. My human colleagues will appreciate it!

Here is what to expect next, and if anyone wants to comment, keep these things in mind.

[process-bot]

Thanks for the issue! Make sure it satisfies this checklist. My human colleagues will appreciate it!

Here is what to expect next, and if anyone wants to comment, keep these things in mind.

[abread]

Thanks @process-bot
This seems to fit the community forum better.

[abread]

Thanks @process-bot
This seems to fit the community forum better.