Should you need to add to the bottom of the list, you can now with a functional double ended queue implemented as a split list with the suffix reversed. https://github.com/griba2001/urweb-dequeue