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