-- Ignore first, kind 1
sumList _ = zero

sumList _ = one

-- Ignore first, kind 3
sumList _ = add zero zero

sumList _ = add zero one

sumList _ = add one zero

sumList _ = add one one

-- Expande type, kind 1 both
sumList Nil = zero
sumList (Cons _ _) = zero

sumList Nil = zero
sumList (Cons _ _) = one

sumList Nil = one
sumList (Cons _ _) = zero

sumList Nil = one
sumList (Cons _ _) = one

-- Expand type, Nil kind 3, Cons kind 1
sumList Nil = add zero zero
sumList (Cons _ _) = zero

sumList Nil = add zero one
sumList (Cons _ _) = zero

sumList Nil = add one zero
sumList (Cons _ _) = zero

sumList Nil = add one one
sumList (Cons _ _) = zero

sumList Nil = add zero zero
sumList (Cons _ _) = one

sumList Nil = add zero one
sumList (Cons _ _) = one

sumList Nil = add one zero
sumList (Cons _ _) = one

sumList Nil = add one one
sumList (Cons _ _) = one

-- Expand type, Nil kind 1, Cons kind 3
sumList Nil = zero
sumList (Cons a b) = add zero zero

sumList Nil = zero
sumList (Cons a b) = add zero one

sumList Nil = zero
sumList (Cons a b) = add zero a

sumList Nil = zero
sumList (Cons a b) = add one zero

--- ...
--- Next we can introduce sumList with a parameter of b as an argument for add and so on.