test :: a -> Either a b
test a = _w0