error(type_error(atom), foo(a))