foo :: a -> a
foo x = let x = x in x