Ebben a feladatban tudnátok segíteni, mert nem teljesen világos mit kellene benne csinálni?

először is értelmezni kellene f típusát

bonyolultnak tűnik, de haladjunk bentről kifelé

(a,[b]): ez azt jelenti, hogy egy rendezett pár, aminek az első tagja bármi lehet, a második tagja meg egy lista (és ebben a listában szintén bármi lehet)

erre példa: (1,[2,3,4])

[(a,[b])]: ez azt jelenti, hogy az előbb definiált párokból álló lista (ezt hívjuk belső listának)

erre példa: [(1,[2]), (1,[3,4,5])]

[[(a,[b])]]: ez pedig azt, hogy az előbbi listákból álló lista (ezt pedig hívjuk külső listának)

erre példa: [[(1,[2])]]

nézzük az első esetet (f [(x,xs):[y,ys]]):

[y,ys]: a lista pontosan 2 elemet tartalmaz (és nem pedig legalább 1-et, ne zavarjon meg az y és ys elnevezés, ha így írnánk, hogy (y:ys), akkor jelentené azt, hogy legalább 1 elemű)

(x,xs):[y,ys]: a belső lista pontosan 3 elemet tartalmaz (az előbbi alapján egyértelmű, nem magyaráznám), és az első elemére vonatkozó (x,xs) minta semmi féle megkötést nem tartalmaz arra, hogy mit kéne tartalmaznia ennek a párnak (azon kívül, hogy a függvény típusa alapján tudjuk, hogy az xs egy listát kell jelentsen)

[(x,xs):[y,ys]]: ez pedig azt jelenti, hogy külső lista pontosan egy elemet tartalmaz, az előbb definiált 3 elemű belső listát

a másodikban annyit segítek még, hogy a [y,ys]:[] minta jelentése: [[y,ys]] (tehát egy üres listába betesszük a pontosan 2 elemű listát)

az [y,ys] azt jelenti, hogy ez a belső lista 2 elemű

de ha megnézed, akkor f típusából látszik, hogy a belső listák párokat tartalmaznak

tehát akkor az y és az ys is egy-egy párt jelent