(-/) :: Bool -> a -> a
(-/) b a = _