Removing the operator type, thinking about changing App to App String [Expr]