error(type_error(list), ['A', 'B', 'C' | 'D'])