Fibonacci[1,1,2]
and
Fibonacci { Head => 1, Tail => { Head => 1, Tail => { Head => 2, Tail => {} } } }
have different representations in the MGraph Object Model.
You can verify that by comparing the "List Example" and "Another List Example" graphs @ http://sixpairs.com/mgom.aspx
The first one has brands while the second one doesn't.
The second one looks more natural to me as the last tail is an empty collection without a brand (and the intermediate tails don't have brands either).
What do you think? Should the two representations be the same or do their differences add more semantic value?