innermostTerm :: ErrorExtractor v loc (C.Term v loc)
innermostTerm = extractor $ \n -> case C.innermostErrorTerm n of
  Just e  -> pure e
  Nothing -> mzero
innermostTerm :: ErrorExtractor v loc (C.Term v loc)
innermostTerm = extractor $ \n -> case C.innermostErrorTerm n of
  Just e  -> pure e
  Nothing -> mzero
innermostTerm = extractor $ \n -> case C.innermostErrorTerm n of
  Just e  -> pure e
  Nothing -> mzero