Имеется два выражения:

seq ((\True y -> «AAA») undefined) 42

seq ((\True -> \y -> «AAA») undefined) 42

Первый даст «42», второй — расходимость. Помогите разобраться, почему во втором случае имеется расходимость? Ведь мы можем из второго варианта получить первый, так как (\True y -> ...) == (\True -> (\y -> ...)).

Добрый день! Помогите, пожалуйста, разобраться, как что происходит при выполнении следующих операций (справа указан результат операции):

1) [x]:[] = [[x]]

2) [x]:[y] = ERROR

3) [x]:[[y]] = [[x],[y]]

Почему первая операция дает нам двумерный список, а вторая выдает ошибку (а не двумерный список)? И как понимать 3) операцию?