Por lo que dices, a tu función manipuladistintos
sólo se le necesita pasar un argumento: la lista.
Dicho formalmente, la signatura de la función sería la siguiente:
manipuladistintos :: (Eq a) => [a]
Lo que viene a decir que tenemos de argumento una lista de elementos de un tipo genérico a
que se pueden comparar entre ellos Eq a
. No nos importa de qué tipo son los argumentos, siempre que puedan compararse para saber si son iguales o no.
La forma más directa de hacer algo así es empleando la función filter
:
manipuladistintos :: (Eq a) => [a]
manipuladistintos [] = []
manipuladistintos (x:xs) = filter (/=x) xs
Si no se quiere usar filter, se puede usar recursividad:
manipuladistintos :: (Eq a) => [a]
manipuladistintos [] = []
manipuladistintos [x] = []
manipuladistintos (x:y:xs) | x /= y = y : manipuladistintos (x:xs)
| otherwise = manipuladistintos (x:xs)
Editado:
Como veo que en la pregunta hablas de "calcular los cuadrados", te añado una solución que usa "comprensiones de lista" y que, de paso, hace los cuadrados.
manipuladistintos :: (Eq a) => [a]
manipuladistintos (x:xs) = [ y * y | y <- xs, x /= y ]