If we extend the Possum language to include optional parentheses, which group together tokens (atoms and constants), and when evaluated act as function applications, and when quoted act as homoiconic representations of a program.
Consider the following pseudo-Possum program:
defun compose f g is
-> x is
f g x
end
end