foo :: Int -> Int
foo x = case x of x -> x