untypeExpr' (Agent trg name args _) 
  = E.Agent $ 
    takePos trg $ 
    E.QualCall (untypeExpr trg) name (map untypeExpr args)
untypeExpr' (Agent trg name args _) 
  = E.Agent $ 
    takePos trg $ 
    E.QualCall (untypeExpr trg) name (map untypeExpr args)
untypeExpr' (Agent trg name args _) 
  = E.Agent $ 
    takePos trg $ 
    E.QualCall (untypeExpr trg) name (map untypeExpr args)