f : a -> a
f (-x) = x