Problemita con definicion generica

Yo hice algo tipo:

noPertenece:: Integer->[Integer]->Bool
noPertenece a [] = True
noPertenece a (x:xs)| a == x  = False
					|otherwise = noPertenece a xs

Que se fija si un elemento no pertenece a una lista, funciona joya para Integer, el problema es q quize hacerla generica y el compilador me grito. Me grito mucho.

Ideas?

Probablemente ya hiciste esto, pero probaste usando noPertenece :: Eq t => t ->[t]->Bool?

Si, esto es viejo ya..
fue antes de q nos dijeran lo del deriving y Eq y esas cosas
gracias igual!