class Num a where {
  add :: a -> a -> a;
}

f x = add x (f x);