error(type_error(atomic), foo(a))