Банальный проход функцией λx.x^2 (возведением в квадрат, короче) по списку a. Причём нас при этом совершенно не беспокоит ни выход за границы массива (список может быть хоть бесконечным), ни типы элементов списка (возведутся в квадрат числа любого типа), ни побочные эффекты -- в результате мы получаем новый список, состоящий из квадратов.