[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?

Shohet sounds a lot like shoggoth