WORST_CASE(?,O(n^1))

Solution:
---------

  app :: [A(0) x A(0)] -(1)-> A(0)
  cons :: [A(0)] -(0)-> A(0)
  from :: [A(0)] -(1)-> A(0)
  nil :: [] -(0)-> A(0)
  prefix :: [A(0)] -(1)-> A(0)
  zWadr :: [A(0) x A(0)] -(2)-> A(0)


Cost Free Signatures:
---------------------