Calling tail on an empty list should produce an empty list

Unfortunately not, see this contribution from sjrd.

1 Like