[Haskell] Help

I need to write the function that has the P -> P type where the type P means prime numbers. There is the question: how to define P in haskell?

>>4
what's your problem? bump, to counter your angry sage.