WrongFormatError("Function application must have at least one argument")