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