inOrApp = asPathExtractor $ \case
  C.InOrApp -> Just ()
  _         -> Nothing
inOrApp = asPathExtractor $ \case
  C.InOrApp -> Just ()
  _         -> Nothing
inOrApp = asPathExtractor $ \case
  C.InOrApp -> Just ()
  _         -> Nothing