У меня есть f1 с двумя парами в качестве аргумента (p1 p2:natprod) и f2 с одной парой в качестве аргумента (p3:natprod).
В f1 (x,y)=(fstp1+fstp2,sndp1+sndp2) и хотите вернуть пару (x,y) в f2 .
Но возникает ошибка при возврате пары в f2 .
Пожалуйста, помогите мне в решении проблемы.