Haskell - Lista di comprensione in una lista di tuple (a, [a])

Question

Quindi, andiamo al punto:

f :: Eq a => a -> [(a,[a])] -> [(a,[a])] 
f x list = [(a,[m]) | (a,[m]) <- list, x == a] 

così:

f 1 [(1,[1])] = [(1,[1])] 

ma

f 1 [(1,[1,1])] = [] 

Perché è quello ?? Grazie!

(io sono un novizio, quindi mi scuso se è una domanda troppo stupido, ma davvero non riesco a trovare una spiegazione)

Answer 1

Questo perché [1,1] non corrisponde al modello [m]. Quest'ultimo significa una lista di un oggetto (a meno che non sia usato dove dovrebbe essere il nome di un tipo). Haskell sa già che il secondo elemento della coppia è una lista (osservando il tipo di parametro list) e non è necessario dirlo esplicitamente.