f :: Ord (i Int) => i Int -> i Int
f = undefined