inSubtype :: SubseqExtractor v loc (C.Type v loc, C.Type v loc)
inSubtype = asPathExtractor $ \case
  C.InSubtype found expected -> Just (found, expected)
  _                          -> Nothing
inSubtype :: SubseqExtractor v loc (C.Type v loc, C.Type v loc)
inSubtype = asPathExtractor $ \case
  C.InSubtype found expected -> Just (found, expected)
  _                          -> Nothing
inSubtype = asPathExtractor $ \case
  C.InSubtype found expected -> Just (found, expected)
  _                          -> Nothing