@@ -1,2 +1,6 @@
data List = Ground | Leaf Integer List
+hyperSum xs = case xs of
+ Ground -> 0
+ Leaf x tail -> x + hyperSum tail
+