error(type_error(atom), a(b))