test :: Either a b
test = Left _w0