error(type_error(callable), 42)