append
    = \ x y . case x of
                nil      : y;
                cons a z : cons a (append z y)
              end