test :: Either a b
test = Right _w0