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

>>7
If you want P to be a type, use a different language that has dependent types.