error(type_error(list), [__anon0, __anon1 | a])