1(-/) :: Bool -> a -> a
2(-/) False a = _w0
3(-/) True a = _w1
4
5