data List = Ground | Leaf Integer List