1(-/) :: Bool -> a -> a
2(-/) b a = _
3
4