test :: Bool -> Bool
test b = True && (case b of
   False -> _
   True -> _)