error(type_error(character), ab)