error(type_error(atom), 42)