inIfCond = asPathExtractor $ \case
  C.InIfCond -> Just ()
  _          -> Nothing
inIfCond = asPathExtractor $ \case
  C.InIfCond -> Just ()
  _          -> Nothing
inIfCond = asPathExtractor $ \case
  C.InIfCond -> Just ()
  _          -> Nothing