test :: Bool -> Bool
test = \b -> case b of
  False -> _w0
  True -> _w1