inSynthesizeApp :: SubseqExtractor v loc (C.Type v loc, C.Term v loc, Int)
inSynthesizeApp = asPathExtractor $ \case
  C.InSynthesizeApp t e n -> Just (t, e, n)
  _                       -> Nothing
inSynthesizeApp :: SubseqExtractor v loc (C.Type v loc, C.Term v loc, Int)
inSynthesizeApp = asPathExtractor $ \case
  C.InSynthesizeApp t e n -> Just (t, e, n)
  _                       -> Nothing
inSynthesizeApp = asPathExtractor $ \case
  C.InSynthesizeApp t e n -> Just (t, e, n)
  _                       -> Nothing