findCon env k es ((PCon k',e):_)
  | k == k'                     = redExp env (eAp e es)
findCon env k es ((PCon k',e):_)
  | k == k'                     = redExp env (eAp e es)
findCon env k es ((PCon k',e):_)
  | k == k'                     = redExp env (eAp e es)