1test :: a -> Either a b
2test a = _w0
3