@prophet@functional.cafe so reverse . reverse isn't necessarily optimised for a finite list? I did look a the dump myself but figured I was using it wrong because I saw the double reverse. I know a lot of APLs have optimisations like this, or "last" being equivalent to the first element of a reversed (linked) list