> \lst=macro:
->.
> \lst=macro:
->{snoc-a}.
> \lst=macro:
->{snoc-a}{snoc-b}.
> \lst=macro:
->{snoc-b}.
> \lst=macro:
->.
> \lst=macro:
->{}.
> \lst=macro:
->.