let args_of a = 
    match a with App(_,l, _) -> l | _ -> raise Not_found