(-/) :: Bool -> a -> a
(-/) False a = _w0
(-/) True a = _w1