decrease
Cons
x
xs
decrease
xs
decrease
Nil
number42
Nil
number42
x
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Nil
goal
x
decrease
x
decrease
1
Cons
2
Nil
0
number42
1
goal
1
INNERMOST