97   applyE = applyTermE absurd  function
100   applyE = applyTermE (\ _ t es ->  Dummy "applyE" (Apply (defaultArg t) : es))  function
216   applyE s [] = s  function
217   applyE s es = case s of  function
229   applyE t es = apply t $ fromMaybe __IMPOSSIBLE__ $ allApplyElims es  function
235   applyE t es = apply t $ fromMaybe __IMPOSSIBLE__ $ allApplyElims es  function
252   applyE t es = apply t $ fromMaybe __IMPOSSIBLE__ $ allApplyElims es  function
256   applyE t es = apply t $ fromMaybe __IMPOSSIBLE__ $ allApplyElims es  function
260   applyE t es = apply t $ fromMaybe __IMPOSSIBLE__ $ allApplyElims es  function
265   applyE t es = apply t $ fromMaybe __IMPOSSIBLE__ $ allApplyElims es  function
284   applyE t es = apply t $ fromMaybe __IMPOSSIBLE__ $ allApplyElims es  function
291   applyE t es = apply t $ fromMaybe __IMPOSSIBLE__ $ allApplyElims es  function
295   applyE t es = apply t $ fromMaybe __IMPOSSIBLE__ $ allApplyElims es  function
352   applyE t es = apply t $ fromMaybe __IMPOSSIBLE__ $ allApplyElims es  function
356   applyE t es = apply t $ fromMaybe __IMPOSSIBLE__ $ allApplyElims es  function
461     applyE t es = apply t $ fromMaybe __IMPOSSIBLE__ $ allApplyElims es  function
476   applyE t es = apply t $ fromMaybe __IMPOSSIBLE__ $ allApplyElims es  function
480   applyE t es = apply t $ fromMaybe __IMPOSSIBLE__ $ allApplyElims es  function
497   applyE t es = apply t $ fromMaybe __IMPOSSIBLE__ $ allApplyElims es  function
501   applyE (WithArity n a) es   = WithArity n $ applyE a es  function
513   applyE t es = apply t $ fromMaybe __IMPOSSIBLE__ $ allApplyElims es  function
522   applyE (DTerm v)           es = DTerm $ applyE v es  function
523   applyE (DDot v)            es = DDot  $ applyE v es  function
524   applyE (DCon c ci vs)      es = DCon c ci $ vs ++ map (fmap DTerm) ws  function
526   applyE (DDef c es')        es = DDef c $ es' ++ map (fmap DTerm) es  function
527   applyE (DWithApp v ws es') es = DWithApp v ws $ es' ++ es  function
531   applyE ts es   = map (`applyE` es) ts  function
535   applyE b es   = fmap (`applyE` es) b  function
539   applyE x es   = fmap (`applyE` es) x  function
543   applyE x es   = fmap (`applyE` es) x  function
547   applyE x es   = fmap (`applyE` es) x  function
551   applyE x es   = fmap (`applyE` es) x  function
555   applyE (x,y) es   = (applyE x es  , applyE y es  )  function
559   applyE (x,y,z) es   = (applyE x es  , applyE y es  , applyE z es  )  function
563   applyE t es = apply t $ fromMaybe __IMPOSSIBLE__ $ allApplyElims es  function
575   applyE t es = apply t $ fromMaybe __IMPOSSIBLE__ $ allApplyElims es  function