1test :: Bool -> Bool
2test = \b -> case b of
3  False -> _w0
4  True -> _w1
5
6