error(type_error(atom), '+'(1, 2))