foo :: a -> (a, a)
foo a = (a, _w0)