error(type_error(atomic), f(a))