Representing Lists as Trees
a
Atom a:
Empty list []:
[]
Non-empty list [F | R]:
Rep. of F
Rep. of R
