f :: x -> (x, x); f x = (x, x)