-- Slide 29 data List = Ground | Leaf Integer List hyperSum xs = case xs of Ground -> 0 Leaf x tail -> x + hyperSum tail